We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and structures are modelled as objects in slices of the category of assemblies. Instantiation of signatures to structures and hence functor application is modelled by pullback.
CITATION STYLE
Fourman, M., & Thielecke, H. (1995). A proposed categorical semantics for ML modules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 953, pp. 240–252). Springer Verlag. https://doi.org/10.1007/3-540-60164-3_30
Mendeley helps you to discover research relevant for your work.