Universal retractions on \(DI\)-domains

DOI10.1006/INCO.1995.1089zbMath0832.68066OpenAlexW1970510491MaRDI QIDQ1893739

Ying Jiang, Xavier Gouy

Publication date: 2 August 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1089

zbMATH Keywords

cartesian closed categoryuniversal retractions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Building continuous webbed models for system F ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

This page was built for publication: Universal retractions on \(DI\)-domains