Glueing and orthogonality for models of linear logic (Q1398466): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225147 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Games and full completeness for multiplicative linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4490717 / rank
 
Normal rank
Property / cites work
 
Property / cites work: *-autonomous categories. With an appendix by Po-Hsiang Chu / rank
 
Normal rank
Property / cites work
 
Property / cites work: Accessible categories and models of linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: *-Autonomous categories and linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4413070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4440825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4283230 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4281466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4160405 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on full intuitionistic linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two-dimensional monad theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly distributive categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287527 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of multiplicatives / rank
 
Normal rank
Property / cites work
 
Property / cites work: A dialectica-like model of linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3829551 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4184831 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen / rank
 
Normal rank
Property / cites work
 
Property / cites work: The system \({\mathcal F}\) of variable types, fifteen years later / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4838155 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4225150 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory in the abstract / 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: Q2847418 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499228 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension of the Galois theory of Grothendieck / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence for compact closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4735315 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4501156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3838063 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The formal theory of monads / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590089 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polycategories / rank
 
Normal rank

Latest revision as of 17:35, 5 June 2024

scientific article
Language Label Description Also known as
English
Glueing and orthogonality for models of linear logic
scientific article

    Statements

    Glueing and orthogonality for models of linear logic (English)
    0 references
    0 references
    0 references
    29 July 2003
    0 references
    Categorical models
    0 references
    Linear logic
    0 references
    Glueing
    0 references
    Orthogonality
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers