Fibrational modal type theory (Q1744413): 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.1016/j.entcs.2016.06.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2472614804
@@ Property / OpenAlex ID: W2472614804 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994433
@@ Property / Wikidata QID: Q56994433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i>
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315015
@@ Property / cites work: Q4315015 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining proofs and programs in a dependently typed language
+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 @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898472
@@ Property / cites work: Q3898472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5793835
@@ Property / cites work: Q5793835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219051
@@ Property / cites work: Q4219051 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Linear and Dependent Types
@@ Property / cites work: Integrating Linear and Dependent Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508305
@@ Property / cites work: Q4508305 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / 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 @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract machines for higher-order typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank