scientific article; zbMATH DE number 512781

zbMath0795.68126MaRDI QIDQ4281474

Bart Jacobs

Publication date: 7 April 1994

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

zbMATH Keywords

semantics\(\lambda\)-calculusdomain theoretic models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Semantics of weakening and contraction ⋮ Linear lambda terms as invariants of rooted trivalent maps ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus

This page was built for publication: