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