A dialectica-like model of linear logic (Q5096268): Difference between revisions

@@ Property / author @@
+V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994625
@@ Property / Wikidata QID: Q56994625 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Seminar on triples and categorical homology theory ETH 1966/67
+Normal rank
@@ Property / cites work @@
+Coalgebras and cartesian categories
@@ Property / cites work: Coalgebras and cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+On a hitherto unexploited extension of the finitary standpoint
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Bilinearity and Cartesian Closed Monads.
@@ Property / cites work: Bilinearity and Cartesian Closed Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank