Containers: Constructing strictly positive types (Q2566024): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.06.002
@@ Property / DOI: 10.1016/j.tcs.2005.06.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Epigram
@@ Property / describes a project that uses: Epigram / 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.tcs.2005.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2079640625
@@ Property / OpenAlex ID: W2079640625 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q61583925
@@ Property / Wikidata QID: Q61583925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766796
@@ Property / cites work: Q2766796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4119356
@@ Property / cites work: Q4119356 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Representing inductively defined sets by wellorderings in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Constructs in Intensional Type Theory
@@ Property / cites work: Extensional Constructs in Intensional Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Container types categorically
@@ Property / cites work: Container types categorically / 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 @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Functional Programming
@@ Property / cites work: Advanced Functional Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4170869
@@ Property / cites work: Q4170869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-well-founded trees in categories
@@ Property / cites work: Non-well-founded trees in categories / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/AbbottAG05
@@ Property / DBLP publication ID: journals/tcs/AbbottAG05 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.06.002
@@ Property / DOI: 10.1016/J.TCS.2005.06.002 / rank @@
+Normal rank