Vol 9, No 1 (2016)

Special Issue: Twenty Years of the QED Manifesto

John Harrison, Josef Urban, Freek Wiedijk eds.

Table of Contents

QED 20th anniversary

John Harrison, Josef Urban, Freek Wiedijk
1 - 2
Mark Miles Adams
3 - 32
Robin Denis Arthan
33 -52
Arnon Avron, Liron Cohen
53-70
Michael Beeson
71-99
Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
101-148
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
149-185
Mario M Carneiro
187-200
Michael Kohlhase, Florian Rabe
201-234
Alexander Lyaletski
235-264