Publications

Export 823 results:
Author Title [ Type(Desc)] Year
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.
De Mol, Liesbeth, and Maarten Bullynck. 2012. The Turing Centenary Conference CiE 2012: How the World Computes A Short History Of Small Machines.

Pages