scientific article; zbMATH DE number 1086664
From MaRDI portal
Publication:4362914
zbMath0884.18009MaRDI QIDQ4362914
Marcelo P. Fiore, Gordon D. Plotkin
Publication date: 17 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Computational adequacy for recursive types in models of intuitionistic set theory ⋮ Domains in \(H\) ⋮ Axioms and (counter)examples in synthetic domain theory
