Initial algebra semantics for lambda calculi

DOI10.1007/BFb0040272MaRDI QIDQ5887531

John W. Gray

Publication date: 12 April 2023

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

zbMATH Keywords

lambda calculusnatural transformationsmash productinitial algebraalgebra homomorphism

Mathematics Subject Classification ID

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

Cites Work

• A fixpoint theorem for complete categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Initial algebra semantics for lambda calculi