Issue 3/2012
Special Issue: The POPLmark Challenge
Content (7 Articles)
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi