Categorical simulations (Q964545): Difference between revisions

@@ Property / DOI @@
-.1016/j.jpaa.2009.12.028
@@ Property / DOI: 10.1016/j.jpaa.2009.12.028 / rank @@
-Normal rank
@@ Property / author @@
-J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
-Normal rank
@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jpaa.2009.12.028
+Normal rank
@@ Property / OpenAlex ID @@
+W4210692990
@@ Property / OpenAlex ID: W4210692990 / rank @@
+Normal rank
@@ Property / cites work @@
+Developing theories of types and computability via realizability
+Normal rank
@@ Property / cites work @@
+A categorical linear framework for Petri nets
@@ Property / cites work: A categorical linear framework for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Turing categories
@@ Property / cites work: Introduction to Turing categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical outlook on relational modalities and simulations
+Normal rank
@@ Property / cites work @@
+Iterated realizability as a comma construction
@@ Property / cites work: Iterated realizability as a comma construction / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered partial combinatory algebras
@@ Property / cites work: Ordered partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783307
@@ Property / cites work: Q4783307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934287
@@ Property / cites work: Q4934287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / DOI @@
+.1016/J.JPAA.2009.12.028
@@ Property / DOI: 10.1016/J.JPAA.2009.12.028 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:964545