A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus

M Hyland, M Nagayama, John Power, G Rosolini

Research output: Contribution to journalArticlepeer-review

15 Citations (SciVal)

Fingerprint

Dive into the research topics of 'A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus'. Together they form a unique fingerprint.

Mathematics