Quantitative classical realizability (Q2343127): Difference between revisions

@@ Property / describes a project that uses @@
+PrivateLR
@@ Property / describes a project that uses: PrivateLR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2032195084
@@ Property / OpenAlex ID: W2032195084 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4307
@@ Property / arXiv ID: 1201.4307 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Privacy
@@ Property / cites work: Differential Privacy / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability models for BLL-like languages
@@ Property / cites work: Realizability models for BLL-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Linear Logic, Revisited
@@ Property / cites work: Bounded Linear Logic, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic proof of polytime soundness of light affine logic
+Normal rank
@@ Property / cites work @@
+Realizability models and implicit complexity
@@ Property / cites work: Realizability models and implicit complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Classical \(F_{\omega}\), orthogonality and symmetric candidates
+Normal rank
@@ Property / cites work @@
+On the Meaning of Focalization
@@ Property / cites work: On the Meaning of Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Classical Program Extraction in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Focalisation and Classical Realisability
@@ Property / cites work: Focalisation and Classical Realisability / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+Strong normalization property for second order linear logic
+Normal rank
@@ Property / cites work @@
+Distance makes the types grow stronger
@@ Property / cites work: Distance makes the types grow stronger / rank @@
+Normal rank