scientific article; zbMATH DE number 512782

zbMath0788.68130MaRDI QIDQ4281475

Bart Jacobs, Tom Melham

Publication date: 10 March 1994

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

zbMATH Keywords

dependent type theoryhigher order logicHOL theorem-proving system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Translating a Dependently-Typed Logic to First-Order Logic, The seven virtues of simple type theory

Uses Software

• HOL