Vol. 7 No. 1 (2014)

Articles

• Relative Monads Formalised

  Thorsten Altenkirch, James Chapman, Tarmo Uustalu

  1-43

  • PDF

• Certified Kruskal's Tree Theorem

  Christian Sternagel

  45-62

  • PDF

• An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing

  Reynald Affeldt, Kazuhiko Sakaguchi

  63-104

  • PDF

• Views of PI: Definition and computation

  Yves Bertot, Guillaume Allais

  105-129

  • PDF

• Innocuous Double Rounding of Basic Arithmetic Operations

  Pierre Roux

  131-142

  • PDF