Function spaces of posets with projections

DOI10.1023/A:1023008823983zbMath1026.06011OpenAlexW1497604596MaRDI QIDQ1811030

Ralph Kummetz

Publication date: 9 June 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023008823983

zbMATH Keywords

Cartesian closed categorydcpomodel for the untyped \(\lambda\)-calculuspop homomorphismpop technologypop uniformityposet with projections

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Uniform structures in the beginning of the third millenium

This page was built for publication: Function spaces of posets with projections