Marino Miculan profile picture

Marino Miculan

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice
Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Types for Proofs and Programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers