Categorical semantics for programming languages

DOI10.1007/BFB0040271MaRDI QIDQ5887530zbMATH OpenFDO

Authors

Publication date 12 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0040271

zbMATH Keywords

algebraic semanticbottom elementfunctional programming languagemerging operatornatural transformation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• Formal category theory: Adjointness for 2-categories
• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment

Cited in

(1)

• Logic programming: laxness and saturation

Describes a project that uses

Uses Software

• Miranda

This page was built for publication: Categorical semantics for programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5887530)