Unitary Theories, Unitary Categories (Q3178243): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3679172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138859 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3411949 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to Turing categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Restriction categories. I: Categories of partial maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partiality, cartesian closedness, and toposes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4010354 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial morphisms in categories of effective objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial Horn logic and Cartesian categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories of partial maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying categories for partial equational logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3208629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4799892 / rank
 
Normal rank

Latest revision as of 07:45, 12 July 2024

scientific article
Language Label Description Also known as
English
Unitary Theories, Unitary Categories
scientific article

    Statements

    Unitary Theories, Unitary Categories (English)
    0 references
    8 July 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    partial equational logic
    0 references
    partial algebra
    0 references
    completions
    0 references
    classifying categories
    0 references
    unitary categories
    0 references
    partial combinatory logic
    0 references
    partial combinatory algebras
    0 references
    0 references
    0 references
    0 references