scientific article; zbMATH DE number 1927423

zbMath1013.68201MaRDI QIDQ4484341

Amy P. Felty

Publication date: 12 June 2003

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey, Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts, Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax

Uses Software

• Coq