A proof-theoretic foundation of abortive continuations (Q2464725): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-007-9007-z
@@ Property / DOI: 10.1007/s10990-007-9007-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-007-9007-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2032124026
@@ Property / OpenAlex ID: W2032124026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449226
@@ Property / cites work: Q4449226 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic foundation of continuations and prompts
+Normal rank
@@ Property / cites work @@
+A proof-theoretic foundation of abortive continuations
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q4281464
@@ Property / cites work: Q4281464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218109
@@ Property / cites work: Q4218109 / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent λ-calculus with a catch/throw mechanism
+Normal rank
@@ Property / cites work @@
+An environment machine for the λμ-calculus
@@ Property / cites work: An environment machine for the λμ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038658
@@ Property / cites work: Q4038658 / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+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 @@
+Proof theory and automated deduction
@@ Property / cites work: Proof theory and automated deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete axiomatisations of call-by-value control operators
+Normal rank
@@ Property / cites work @@
+Q5764366
@@ Property / cites work: Q5764366 / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization of delimited continuations
+Normal rank
@@ Property / cites work @@
+Q4843402
@@ Property / cites work: Q4843402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282613
@@ Property / cites work: Q4282613 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
+Normal rank
@@ Property / DOI @@
+.1007/S10990-007-9007-Z
@@ Property / DOI: 10.1007/S10990-007-9007-Z / rank @@
+Normal rank