scientific article; zbMATH DE number 1070622

zbMath0876.03010MaRDI QIDQ4357062

Robert L. Constable

Publication date: 7 October 1997

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

zbMATH Keywords

type theorycore theoryNuprl 4

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Unifying sets and programs via dependent types ⋮ Unifying Sets and Programs via Dependent Types

Uses Software

• Nuprl

This page was built for publication: