Publication:4528533
From MaRDI portal
zbMath0968.68091MaRDI QIDQ4528533
Publication date: 31 January 2001
68Q55: Semantics in the theory of computing
54B30: Categorical methods in general topology
06B35: Continuous lattices and posets, applications
03B40: Combinatory logic and lambda calculus
Related Items
Representations versus numberings: On the relationship of two computability notions, Program self-reference in constructive Scott subdomains, Program Self-reference in Constructive Scott Subdomains