Computability structures, simulations and realizability (Q5740351): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+All realizability is relative
@@ Property / cites work: All realizability is relative / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical simulations
@@ Property / cites work: Categorical simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Turing categories
@@ Property / cites work: Introduction to Turing categories / rank @@
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Extensional realizability
@@ Property / cites work: Extensional realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive natural deduction and its ‘ω-set’ interpretation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740351