Recommendations
Cites work
- A categorical linear framework for Petri nets
- A categorical outlook on relational modalities and simulations
- Developing theories of types and computability via realizability
- 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?)
- 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
(11)- Computability models over categories and presheaves
- Total maps of Turing categories
- Paths and simulations
- On the semantics of intensionality
- Encoding the factorisation calculus
- Aspects of categorical recursion theory
- Algebra and Coalgebra in Computer Science
- Computability structures, simulations and realizability
- Strict computability models over categories and presheaves
- The Grothendieck computability model
- Introduction to Turing categories
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)
