scientific article

zbMath0765.68175MaRDI QIDQ4038661

Leen Helmink

Publication date: 18 May 1993

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

zbMATH Keywords

calculus of constructionsnatural deductiontyped lambda calculus

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

Proof-search in type-theoretic languages: An introduction