Types from Frames as Finite Automata

DOI10.1007/978-3-662-53042-9_2zbMath1478.68123OpenAlexW2496549029MaRDI QIDQ2835042

Tim Fernando

Publication date: 1 December 2016

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-53042-9_2

zbMATH Keywords

tracederivativefinite automatonframeinstitution

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30)

Cites Work

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Algebraic laws for nondeterminism and concurrency
• Institutions: abstract model theory for specification and programming
• Derivatives of Regular Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Types from Frames as Finite Automata