scientific article; zbMATH DE number 2003160

zbMath1023.03024MaRDI QIDQ4435473

Alexandre Miquel, Benjamin Werner

Publication date: 12 November 2003

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items

Explaining Gabriel-Zisman localization to the computer ⋮ Is sized typing for Coq practical? ⋮ An intuitionistic set-theoretical model of fully dependent CC ⋮ Pure type systems with explicit substitutions ⋮ Congruence Closure in Intensional Type Theory ⋮ A compact kernel for the calculus of inductive constructions

Uses Software

• Automath