scientific article; zbMATH DE number 2090721

zbMath1065.68025MaRDI QIDQ4813221

Thierry Coquand, Gilles Barthe

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2395/23950001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40)

Related Items (1)

J-Calc: a typed lambda calculus for intuitionistic justification logic

Uses Software

• Haskell
• OCaml
• Automath
• Polyp
• Cayenne

This page was built for publication: