scientific article; zbMATH DE number 1497799

MaRDI QIDQ4499217zbMATH OpenFDO

Authors Martin Wehr

Publication date 4 March 2001

zbMATH Keywords

hierarchy of languageshigher-dimensional syntax

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Higher-order semantics and extensionality
• Languages of higher-dimensional automata
• scientific article; zbMATH DE number 1405629
• Focusing and higher-order abstract syntax
• Syntactic structures as multi-dimensional trees
• Higher-order abstract syntax in type theory
• Explicit substitutions and higher-order syntax
• scientific article; zbMATH DE number 4041243
• scientific article; zbMATH DE number 220415
• scientific article; zbMATH DE number 2086607

Cited in

(2)

• Higher Dimensional Trees, Algebraically
• Dialogue categories and Frobenius monoids

This page was built for publication:

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