scientific article; zbMATH DE number 742719

From MaRDI portal

Publication:4327829

Jump to:navigation, search

zbMath0818.03005MaRDI QIDQ4327829

Karl Heinrich Hofmann, Michael W. Mislove

Publication date: 9 April 1995

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

zbMATH Keywords

Cartesian closed categories reflexive object untyped lambda calculus category of Hausdorff \(k\)-spaces environment model degenerate model combinatory model compact Hausdorff model

Mathematics Subject Classification ID

Model theory (03C99) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Locally compact path spaces

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4327829&oldid=18286216"