Vol. 8 No. 1 (2015)

Articles

• Formal Proofs for Nonlinear Optimization

  Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

  1-24

  • PDF

• A formal verification of the theory of parity complexes

  Mitchell Buckley

  25-48

  • PDF

• Programming type-safe transformations using higher-order abstract syntax

  Olivier Savary Belanger, Stefan Monnier, Brigitte Pientka

  49-91

  • PDF

• Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions

  Ferruccio Guidi

  93-116

  • PDF