Q5111322 (Q5111322): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.FSCD.2017.25
@@ Property / DOI: 10.4230/LIPIcs.FSCD.2017.25 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Type theory in type theory using quotient inductive types
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / 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 @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order representation of substructural logics
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4663634
@@ Property / cites work: Q4663634 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered Multiderivators and (co)homological descent
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Logic with a 2-Category of Modes
@@ Property / cites work: Adjoint Logic with a 2-Category of Modes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111322
@@ Property / cites work: Q5111322 / rank @@
+Normal rank
@@ Property / cites work @@
+I Got Plenty o’ Nuttin’
@@ Property / cites work: I Got Plenty o’ Nuttin’ / rank @@
+Normal rank
@@ Property / cites work @@
+Functors are Type Refinement Systems
@@ Property / cites work: Functors are Type Refinement Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / 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 @@
+Hybridizing a Logical Framework
@@ Property / cites work: Hybridizing a Logical Framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSCD.2017.25
@@ Property / DOI: 10.4230/LIPICS.FSCD.2017.25 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5111322