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

From MaRDI portal
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2005.06.002 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.002 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2079640625 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q61583925 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417849 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457445 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, Languages and Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematics of Program Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2766796 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4944846 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4945244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4119356 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fibered categories and the foundations of naive category theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalised folds for nested datatypes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4314472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories for Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representing inductively defined sets by wellorderings in Martin-Löf's type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types for Proofs and Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two applications of analytic functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4474857 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensional Constructs in Intensional Type Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Container types categorically / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical logic and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4145861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3752561 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4099613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3688389 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Advanced Functional Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: The view from the left / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wellfounded trees in categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999860 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4170869 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023900 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locally cartesian closed categories and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5286647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-well-founded trees in categories / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/tcs/AbbottAG05 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2005.06.002 / rank
 
Normal rank

Latest revision as of 06:35, 19 December 2024

scientific article
Language Label Description Also known as
English
Containers: Constructing strictly positive types
scientific article

    Statements

    Containers: Constructing strictly positive types (English)
    0 references
    0 references
    22 September 2005
    0 references
    Type theory
    0 references
    Category theory
    0 references
    Container functors
    0 references
    W-Types
    0 references
    Induction
    0 references
    Coinduction
    0 references
    Initial algebras
    0 references
    Final coalgebras
    0 references

    Identifiers