Intuitionistic hypothetical logic of proofs (Q276039): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.12.013
@@ Property / DOI: 10.1016/j.entcs.2013.12.013 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6574072
@@ Property / zbMATH DE Number: 6574072 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Curry-Howard isomorphism
@@ Property / zbMATH Keywords: Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic of proofs
@@ Property / zbMATH Keywords: logic of proofs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lambda calculus
@@ Property / zbMATH Keywords: lambda calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+programming languages
@@ Property / zbMATH Keywords: programming languages / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / 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.2013.12.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2015385255
@@ Property / OpenAlex ID: W2015385255 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317924
@@ Property / Wikidata QID: Q113317924 / 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 @@
+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 @@
+Q4534366
@@ Property / cites work: Q4534366 / 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 @@
+Q4315015
@@ Property / cites work: Q4315015 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Completeness of the Intuitionistic Logic of Proofs
+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 @@
+Q4219051
@@ Property / cites work: Q4219051 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+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 @@
+Nonaxiomatizability of predicate logics of proofs
@@ Property / cites work: Nonaxiomatizability of predicate logics of proofs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2013.12.013
@@ Property / DOI: 10.1016/J.ENTCS.2013.12.013 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:276039