Initiality for Typed Syntax and Semantics

DOI10.1007/978-3-642-32621-9_10zbMath1362.68040arXiv1206.4547OpenAlexW3103302906MaRDI QIDQ2915022

Benedikt Ahrens

Publication date: 21 September 2012

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.4547

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Distributive laws for relative monads

Uses Software

• PoplMark

This page was built for publication: Initiality for Typed Syntax and Semantics