×

Found 5 Documents (Results 1–5)

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).
PDFBibTeX XMLCite
Full Text: Link

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

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).
MSC:  18D20 03B40 18B35
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software