Basic category theory for models of syntax.

DOI10.1007/B12027MaRDI QIDQ5187879zbMATH OpenOpenAlexFDO

Authors Roy L. Crole

Publication date 9 March 2010

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

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Introduction to categories and categorical logic
• scientific article; zbMATH DE number 49833
• scientific article; zbMATH DE number 3985475
• scientific article; zbMATH DE number 5761737
• Categories for Types

Cited in

(5)

• A specification structure for deadlock-freedom of synchronous processes
• scientific article; zbMATH DE number 4203750 (Why is no real title available?)
• scientific article; zbMATH DE number 1568791 (Why is no real title available?)
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Substitution in non-wellfounded syntax with variable binding

This page was built for publication: Basic category theory for models of syntax.

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