Categorial graphs

DOI10.1007/3-540-60249-6_58OpenAlexW4238717495MaRDI QIDQ5055898

Erik de Haas

Publication date: 9 December 2022

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60249-6_58

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55)

Cites Work

• Linear logic
• A logic for programming with complex objects
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Computing on structures
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorial graphs