Combinatorial structure of type dependency (Q2254771): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2148391362 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1402.6799 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5579535 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monads with arities and their associated theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional monad theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connected limits, familial representability and Artin glueing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized algebraic theories and contextual categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142163 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Internal type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4474857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On full abstraction for PCF: I, II and III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5752573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comprehension categories and the semantics of type dependency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3752561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polynomial functors and opetopes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3159161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156479 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753183 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The petit topos of globular sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy Type Theory: Univalent Foundations of Mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5454622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multitensors as monads on categories of enriched graphs / rank | |||
Normal rank |
Latest revision as of 16:43, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Combinatorial structure of type dependency |
scientific article |
Statements
Combinatorial structure of type dependency (English)
0 references
6 February 2015
0 references