scientific article
From MaRDI portal
Publication:2757801
zbMath0978.03508MaRDI QIDQ2757801
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items
Inverse-limit and topological aspects of abstract interpretation ⋮ Making ``stricterness more relevant ⋮ Unnamed Item ⋮ Strictness, totality, and non-standard-type inference ⋮ Abstract Interpretation from a Topological Perspective
This page was built for publication: