Categorical semantics for programming languages

DOI10.1007/BFb0040271MaRDI QIDQ5887530

No author found.

Publication date: 12 April 2023

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

zbMATH Keywords

functional programming languagenatural transformationalgebraic semanticmerging operatorbottom element

Mathematics Subject Classification ID

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

Related Items (1)

Logic programming: laxness and saturation

Uses Software

• Miranda

Cites Work

• Formal category theory: Adjointness for 2-categories
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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