scientific article; zbMATH DE number 1559386

zbMath0968.68091MaRDI QIDQ4528533

Dieter Spreen

Publication date: 31 January 2001

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

zbMATH Keywords

Scott topology

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Program Self-reference in Constructive Scott Subdomains ⋮ Program self-reference in constructive Scott subdomains ⋮ Representations versus numberings: On the relationship of two computability notions

This page was built for publication: