Vol 3, No 2 (2010)

Special Issue: User Tutorials I

A.Asperti, J.Harrison, C.Munoz editors.

Table of Contents

Articles

Adam Chlipala
1 - 93
Georges Gonthier, Assia Mahboubi
95 - 152
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
153 - 245