Vol 5, No 1 (2012)

Table of Contents

Articles

Ferruccio Guidi
1-25
Thierry Coquand, Anders Mörtberg, Vincent Siles
27-36
Andrea Asperti, Wilmer Ricciotti
37-57