scientific article; zbMATH DE number 2077110

zbMath1044.03521MaRDI QIDQ4470492

Peter Dybjer, Thierry Coquand

Publication date: 1 July 2004

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

A Tutorial on Type-Based Termination, Type-level Computation Using Narrowing in Ωmega