Intuitionistic Letcc via Labelled Deduction (Q4982116): Difference between revisions

@@ Property / describes a project that uses @@
+Twelf
@@ Property / describes a project that uses: Twelf / 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.1016/j.entcs.2009.02.031
+Normal rank
@@ Property / OpenAlex ID @@
+W2051358061
@@ Property / OpenAlex ID: W2051358061 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for non-classical logics
@@ Property / cites work: Natural deduction for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent λ-calculus with a catch/throw mechanism
+Normal rank
@@ Property / cites work @@
+A Formulae-as-Types Interpretation of Subtractive Logic
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+T-string unification: Unifying prefixes in non-classical proof methods
+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 @@
+Intuitionistic and classical natural deduction systems with the catch and the throw rules
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank