Hypothetical logic of proofs (Q2254560): Difference between revisions

@@ 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/s11787-014-0098-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2054717969
@@ Property / OpenAlex ID: W2054717969 / rank @@
+Normal rank
@@ Property / cites work @@
+The Intensional Lambda Calculus
@@ Property / cites work: The Intensional Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The basic intuitionistic logic of proofs
@@ Property / cites work: The basic intuitionistic logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic and History Based Computation
@@ Property / cites work: Justification Logic and History Based Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Justification logic as a foundation for certifying mobile computation
+Normal rank
@@ Property / cites work @@
+Arithmetical Completeness of the Intuitionistic Logic of Proofs
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Hypothetical logic of proofs
@@ Property / cites work: Hypothetical logic of proofs / rank @@
+Normal rank