Export 808 results:
Author Title [ Type(Desc)] Year
PhD Thesis
Technical Report
De Mol, Liesbeth. In Press. Let's be logical Formalism. The Success(Es) Of A Failure. A. Moktefi, Moretti, A., and Schang, Fabian. College publications.
Primiero, Giuseppe. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
Primiero, Giuseppe. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.