scientific article; zbMATH DE number 2182487

zbMath1094.03018MaRDI QIDQ4681362

Frédéric Blanqui

Publication date: 23 June 2005

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

zbMATH Keywords

inductive typescalculus of inductive constructionscalculus of algebraic constructions

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

The Computability Path Ordering: The End of a Quest

Uses Software

• Coq
• Automath