Publication:4282567
From MaRDI portal
zbMath0792.68095MaRDI QIDQ4282567
Publication date: 17 March 1994
68N15: Theory of programming languages
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
18A25: Functor categories, comma categories
Related Items
Computational representation of practical argument, Topology, domain theory and theoretical computer science, Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin, Information categories, Bounded quantifications for iteration and concurrency in logic programming, Algebraic domains of natural transformations