Coherence Spaces and Uniform Continuity (Q2988356): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2613997372
@@ Property / OpenAlex ID: W2613997372 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00562
@@ Property / arXiv ID: 1706.00562 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Q2753670
@@ Property / cites work: Q2753670 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear realizability and full completeness for typed lambda-calculi
+Normal rank
@@ Property / cites work @@
+Stability and computability in coherent domains
@@ Property / cites work: Stability and computability in coherent domains / rank @@
+Normal rank
@@ Property / cites work @@
+A Relationship between Equilogical Spaces and Type Two Effectivity
+Normal rank
@@ Property / cites work @@
+Total sets and objects in domain theory
@@ Property / cites work: Total sets and objects in domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384984
@@ Property / cites work: Q5384984 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on full intuitionistic linear logic
@@ Property / cites work: A note on full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222963
@@ Property / cites work: Q4222963 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A domain-theoretic approach to computability on the real line
+Normal rank
@@ Property / cites work @@
+Abstract Datatypes for Real Numbers in Type Theory
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Q5327708
@@ Property / cites work: Q5327708 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+Total objects in inductively defined types
@@ Property / cites work: Total objects in inductively defined types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicativity entails untypedness
@@ Property / cites work: Impredicativity entails untypedness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694213
@@ Property / cites work: Q4694213 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384974
@@ Property / cites work: Q5384974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605131
@@ Property / cites work: Q5605131 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2988356