Categorical simulations
From MaRDI portal
Publication:964545
Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 1841819 (Why is no real title available?)
- scientific article; zbMATH DE number 1390022 (Why is no real title available?)
- A categorical linear framework for Petri nets
- A categorical outlook on relational modalities and simulations
- Developing theories of types and computability via realizability
- Introduction to Turing categories
- Iterated realizability as a comma construction
- Ordered partial combinatory algebras
- Realizability. An introduction to its categorical side
- Restriction categories II: Partial map classification
- Restriction categories. I: Categories of partial maps
Cited in
(9)- Total maps of Turing categories
- Computability models over categories and presheaves
- Introduction to Turing categories
- On the semantics of intensionality
- Encoding the factorisation calculus
- Aspects of categorical recursion theory
- Algebra and Coalgebra in Computer Science
- Paths and simulations
- Computability structures, simulations and realizability
This page was built for publication: Categorical simulations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964545)