scientific article; zbMATH DE number 1555189

zbMath0953.03526MaRDI QIDQ4525289

No author found.

Publication date: 22 January 2001

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items

Strong normalization for non-structural subtyping via saturated sets, A short and flexible proof of strong normalization for the calculus of constructions, The modified realizability topos

Uses Software

• Automath