scientific article; zbMATH DE number 1499107

zbMath0964.03513MaRDI QIDQ4501161

Erik Poll, Paula G.Severi

Publication date: 3 September 2000

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items

ANF preserves dependent types up to extensional equality, Higher-order subtyping, Is sized typing for Coq practical?, A prismoid framework for languages with resources, De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case, Automath and Pure Type Systems, Tactics and Parameters, On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations