Hyland, Martin; Nagayama, Misao; Power, John; Rosolini, Giuseppe A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus. (English) Zbl 1276.03016 Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 43-57 (2006). MSC: 03B40 03G30 18C20 18D15 PDFBibTeX XMLCite \textit{M. Hyland} et al., Electron. Notes Theor. Comput. Sci. 161, 43--57 (2006; Zbl 1276.03016) Full Text: Link
Kummetz, Ralph Function spaces of posets with projections. (English) Zbl 1026.06011 Appl. Categ. Struct. 11, No. 1, 3-25 (2003). MSC: 06B35 54E15 18D15 54C35 03B40 PDFBibTeX XMLCite \textit{R. Kummetz}, Appl. Categ. Struct. 11, No. 1, 3--25 (2003; Zbl 1026.06011) Full Text: DOI
Altenkirch, Thorsten; Reus, Bernhard Monadic presentations of lambda terms using generalized inductive types. (English) Zbl 0944.03011 Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 453-468 (1999). MSC: 03B40 18C15 03B35 PDFBibTeX XMLCite \textit{T. Altenkirch} and \textit{B. Reus}, Lect. Notes Comput. Sci. 1683, 453--468 (1999; Zbl 0944.03011)
Hofmann, Karl H.; Mislove, Michael W. Principles underlying the degeneracy of topological models of the untyped lambda calculus. (English) Zbl 0907.18004 Hofmann, Karl H. (ed.) et al., Semigroup theory and its applications. Proceedings of the 1994 conference commemorating the work of Alfred H. Clifford, New Orleans, LA, USA, March 1994. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 231, 123-155 (1996). Reviewer: G.Călugăreanu (Cluj-Napoca) MSC: 18D20 03B40 18B35 PDFBibTeX XMLCite \textit{K. H. Hofmann} and \textit{M. W. Mislove}, Lond. Math. Soc. Lect. Note Ser. 231, 123--155 (1996; Zbl 0907.18004)
Hoofman, Raymond; Schellinx, Harold Collapsing graph models by preorders. (English) Zbl 0794.03021 Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 53-73 (1991). MSC: 03B40 18D15 68Q55 PDFBibTeX XMLCite \textit{R. Hoofman} and \textit{H. Schellinx}, Lect. Notes Comput. Sci. 530, 53--73 (1991; Zbl 0794.03021)