Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is I and Author is Primiero, Giuseppe [Clear All Filters]
. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
