A category theory for programming languages

DOI10.1007/BF01795949MaRDI QIDQ4772150zbMATH OpenOpenAlexFDO

Authors David C. Rine

Publication date 1974

Published in Mathematical Systems Theory (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Tables in numerical analysis (65A05)

Cites work

• scientific article; zbMATH DE number 3123157 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3198885 (Why is no real title available?)
• Characterization of families of rank 3 permutation groups by the subdegrees. I
• Completions of categories. Seminar lectures given 1966 in Zürich
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Derivatives of Regular Expressions
• On some properties of the free monoids with applications to automata theory
• Recursive functions of symbolic expressions and their computation by machine, Part I

This page was built for publication: A category theory for programming languages

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