Q4957787 (Q4957787): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1261
@@ Property / arXiv ID: 1309.1261 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic foundation of abortive continuations
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+A Context-based Approach to Proving Termination of Evaluation
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753680
@@ Property / cites work: Q2753680 / rank @@
+Normal rank
@@ Property / cites work @@
+Defunctionalized Interpreters for Call-by-Need Evaluation
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational interpretations of an extension of F<sub>ω</sub> with control operators
+Normal rank
@@ Property / cites work @@
+Strong normalization proofs by CPS-translations
@@ Property / cites work: Strong normalization proofs by CPS-translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075442
@@ Property / cites work: Q3075442 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical \(F_{\omega}\), orthogonality and symmetric candidates
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4357067
@@ Property / cites work: Q4357067 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+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 @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4957787