Vol. 4 No. 1 (2011)

Articles

• A Formal Proof Of The Riesz Representation Theorem

  Anthony Narkawicz

  1-24

  • PDF

• Initial Semantics for higher-order typed syntax in Coq

  Benedikt Ahrens, Julianna Zsido

  25-69

  • PDF

• Formalizing a Proof that e is Transcendental

  Jesse Bingham

  71-84

  • PDF

• A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration

  Luca Chiarabini, Olivier Danvy

  85-109

  • PDF