Parallelism in realizability models (Q6199588): Difference between revisions

@@ Property / cites work @@
+Linear realizability and full completeness for typed lambda-calculi
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3795831
@@ Property / cites work: Q3795831 / rank @@
+Normal rank
@@ Property / cites work @@
+More on Geometric Morphisms between Realizability Toposes
+Normal rank
@@ Property / cites work @@
+Head reduction and normalization in a call-by-value lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+A uniform approach to domain theory in realizability models
+Normal rank
@@ Property / cites work @@
+Generalized Banach-Mazur functionals in the topos of recursive sets
+Normal rank
@@ Property / cites work @@
+Relative computability in the effective topos
@@ Property / cites work: Relative computability in the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+From term models to domains
@@ Property / cites work: From term models to domains / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank