Internal type theory (Q4647575): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/3-540-61780-9_66 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1494555245 / 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: Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized algebraic theories and contextual categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitionistic model constructions and normalization proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3142163 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225149 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3886868 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical abstract machines for higher-order typed \(\lambda\)-calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locally cartesian closed categories and type theory / rank
 
Normal rank

Latest revision as of 20:54, 17 July 2024

scientific article; zbMATH DE number 7002049
Language Label Description Also known as
English
Internal type theory
scientific article; zbMATH DE number 7002049

    Statements

    title
    Internal type theory (English)
    0 references
    author
    Peter Dybjer
    0 references
    publication date
    15 January 2019
    0 references
    zbMATH Keywords
    type theory
    0 references
    dependent type
    0 references
    proof assistant
    0 references
    coherence condition
    0 references
    equality judgement
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03G30
    0 references
    03B38
    0 references
    03B35
    0 references
    18B99
    0 references
    zbMATH DE Number
    7002049
    0 references
    OpenAlex ID
    W1494555245
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4647575&oldid=36461999"
    Powered by MediaWiki