Glueing and orthogonality for models of linear logic (Q1398466): Difference between revisions
From MaRDI portal
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
29 July 2003
0 references
Categorical models
0 references
Linear logic
0 references
Glueing
0 references
Orthogonality
0 references
0 references