Ordered combinatory algebras and realizability (Q2973254): Difference between revisions

@@ Property / cites work @@
+Q4146730
@@ Property / cites work: Q4146730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+All realizability is relative
@@ Property / cites work: All realizability is relative / rank @@
+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 @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered partial combinatory algebras
@@ Property / cites work: Ordered partial combinatory algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+A general storage theorem for integers in call-by-name \(\lambda\)- calculus
+Normal rank
@@ Property / cites work @@
+Typed lambda-calculus in classical Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+Q3564946
@@ Property / cites work: Q3564946 / rank @@
+Normal rank
@@ Property / cites work @@
+A 2-Categories Companion
@@ Property / cites work: A 2-Categories Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Krivine's classical realisability from a categorical perspective
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank