scientific article; zbMATH DE number 1182707

zbMath0907.18004MaRDI QIDQ4400779

Karl Heinrich Hofmann, Michael W. Mislove

Publication date: 24 February 1999

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

zbMATH Keywords

Cartesian closed categoriestyped lambda calculiuntyped lambda calculusnon-degenerate reflexive object

Mathematics Subject Classification ID

Preorders, orders, domains and lattices (viewed as categories) (18B35) Combinatory logic and lambda calculus (03B40) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Topology, domain theory and theoretical computer science

This page was built for publication: