scientific article; zbMATH DE number 1303347

zbMath0924.03019MaRDI QIDQ4249900

Karl Crary

Publication date: 17 June 1999

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

zbMATH Keywords

monotonicitycompactnessautomated theorem provingdependent productspartial typesadmissible typescomputational approximation relationpredicate-admissibility

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Partiality, State and Dependent Types

Uses Software

• Coq
• Nuprl

This page was built for publication: