Publication:2757801
From MaRDI portal
zbMath0978.03508MaRDI QIDQ2757801
Publication date: 4 December 2001
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Strictness, totality, and non-standard-type inference, Inverse-limit and topological aspects of abstract interpretation, Making ``stricterness more relevant, Abstract Interpretation from a Topological Perspective, Unnamed Item