scientific article; zbMATH DE number 860038

MaRDI QIDQ4870808zbMATH OpenFDO

Authors Roy L. Crole, Rajagopal Nagarajan, Simon J. Gay

Publication date 7 May 1996

zbMATH Keywords

\(*\)-autonomous categoriescategorical logicinteraction categoriestyped process theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• An internal language for autonomous categories
• scientific article; zbMATH DE number 1086716
• scientific article; zbMATH DE number 1790380
• Towards a programming language for interaction nets

Cited in

(8)

• An internal language for autonomous categories
• A relation algebraic approach to interaction categories
• Programming interfaces and basic topology
• A categorical framework for typing CCS-style process communication
• scientific article; zbMATH DE number 3958777 (Why is no real title available?)
• scientific article; zbMATH DE number 1231519 (Why is no real title available?)
• Custom hypergraph categories via generalized relations
• scientific article; zbMATH DE number 910713 (Why is no real title available?)

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 Q4870808)