Preprint Series of the Isaac Newton Institute for Mathematical Sciences
| Title | Intuitionistic Logic of Proofs with dependent proof terms |
| Publication Type | Technical Report |
| Authors | Primiero, G |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):