- Basics of the basics of lute continuo Arto Wikla !Arto.Wikla@cs.Helsinki.FI?
- Applications Categories,
- A Logical Calculus for Polynomialtime Realizability
- A Hyperdoctrinal View of Concurrent Constraint Programming
- Theory and Applications of Categories, Vol. 8, No. 5, pp. 63--99. FINITE SUM --PRODUCT LOGIC
- CARTESIAN DIFFERENTIAL CATEGORIES R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY
- Linearly distributive functors J.R.B. Cockett a;1 R.A.G. Seely b;2
- Weakly distributive categories J.R.B. Cockett \Lambda R.A.G. Seely y
- Categories for computation in context and unified logic
- TAPE I (19621964) Side A Besame Mucho (Velasquez/Skylar)
- Theory and Applications of Categories, Vol. 3, No. 5, 1997, pp. 85--131. PROOF THEORY FOR
- Graded Multicategories of Polynomialtime Realizers
- Theory and Applications of Categories, Vol. 18, No. 2, 2007, pp. 4--101. POLARIZED CATEGORY THEORY, MODULES,
- Di#erential categories R. F. BLUTE, 1 J. R.B. COCKETT, 2 and R.A.G. SEELY 3
- LINEAR LOGIC, \LambdaAUTONOMOUS CATEGORIES AND COFREE COALGEBRAS 1
- Theory and Applications of Categories, Vol. 17, No. 2, 2006, pp. 17--29. COHERENCE OF THE DOUBLE INVOLUTION ON
- Math. Struct. in Comp. Science (to appear) Introduction to linear bicategories
- CARTESIAN DIFFERENTIAL CATEGORIES R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY
- THE FA`A DI BRUNO CONSTRUCTION J.R.B. COCKETT AND R.A.G. SEELY
- Fa`a di Bruno categories R.A.G. Seely
- Math. Struct. in Comp. Science (2009), vol. 19, pp. 14. c 2009 Cambridge University Press doi:10.1017/S0960129508007391 First published online 19 January 2009 Printed in the United Kingdom
- Math. Proc. Camb. Phil. Soc. (1984), 95, 33 3 3 Printed in Great Britain
- 1. Interview 2. 20 Flight Rock
- Applications Categories,
- Polymorphic Linear Logic and Topos Models
- A Hyperdoctrinal View of Constraint Systems Prakash Panangaden \Lambda , McGill University
- Fock Space: A Model of Linear Exponential Types R.F. Blute \Lambda
- The following paper was originally posted to rec.music.early. I have set it in PostScript for my use, changing only the oddities of ascii
- Nordic Journal of Computing 2(1995), 181--220 A LOGICAL VIEW OF CONCURRENT
- Zeitschr. l. math. Logik und Grund.Wen d. llath, Bd. 29, :J. 505-512 (19831
- Linear functors and modal logic R.A.G. Seely
- Theory and Applications of Categories, Vol. 22, No. 23, 2009, pp. 622672. CARTESIAN DIFFERENTIAL CATEGORIES
- Theory and Applications of Categories, Vol. 25, No. 15, 2011, pp. 394425. THE FA`A DI BRUNO CONSTRUCTION
