Differential structure in models of multiplicative biadditive intuitionistic linear logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4583 LNCS, Issue , 2007, Pages 163-177

  Fiore, Marcelo P ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; PROBLEM SOLVING;

DIFFERENTIAL STRUCTURE; MULTIPLICATIVE BIADDITIVE INTUITIONISTIC;

LINEAR PROGRAMMING;

EID: 38149059838     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73228-0_13     Document Type: Conference Paper

References (21)

1. Benton, N.: A mixed linear and non-linear logic: Proofs, terms and models. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol. 933, Springer, Heidelberg (1995)
2. Benton, N., Bierman, G., de Paiva, V., Hyland, M.: Linear λ-calculus and categorical models revisited. In: Martini, S., Börger, E., Kleine Büning, H., Jäger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol. 702, Springer, Heidelberg (1993)
3. Bierman, G.: What is a categorical model of intuitionistic linear logic? In: DezaniCiancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol. 902, pp. 78-93. Springer, Heidelberg (1995)
4. Blute, R., Cockett, J., Seely, R.: Differential categories. Mathematical Structures in Computer Science 16(6), 1049-1083 (2006)
5. Blute, R., Panangaden, P., Seely, R.: Fock space: A model of linear exponential types. Corrected version of Holomorphic models of exponential types in linear logic. In: Main, M.G., Melton, A.C., Mislove, M.W., Schmidt, D., Brookes, S.D. (eds.) Mathematical Foundations of Programming Semantics. LNCS, vol. 802, Springer, Heidelberg (1993)
6. Ehrhard, T.: On Köthe sequence spaces and linear logic. Mathematical Structures in Computer Science 12(5), 579-623 (2002)
7. Ehrhard, T.: Finiteness spaces. Mathematical Structures in Computer Science 15(4), 615-646 (2005)
8. Ehrhard, T., Regnier, L.: Differential interaction nets. Theoretical Computer Science 364(2), 166-195 (2006)
9. Ehrhard, T., Reigner, L.: The differential lambda-calculus. Theoretical Computer Science 309(1-3), 1-41 (2003)
10. Fiore, M.: Generalised species of structures: Cartesian closed and differential structure. Draft (2004)
11. Fiore, M.: Mathematical models of computational and combinatorial structures. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 25-46. Springer, Heidelberg (2005)
12. Fiore, M., Gambino, N., Hyland, M., Winskel, G.: The cartesian closed bicategory of generalised species of structures. Preprint (2006)
13. Frölicher, A., Kriegl, A.: Linear spaces and differentiation theory. Wiley Series in Pure and Applied Mathematics. Wiley-Interscience Publication, Chichester (1988)
14. Geroch, R.: Mathematical Physics. University of Chicago Press, Chicago (1985)
15. Hyvernat, P.: A logical investigation of interaction systems. PhD thesis, Université de la Mediterranée, Aix-Marseille 2 (2005)
16. Kock, A.: Synthetic Differential Geometry. London Mathematical Society Lecture Notes Series, vol. 333. Cambridge University Press, Cambridge (2006)
17. Lafont, Y.: Logiques, catégories et machines. PhD thesis, Université Paris, 7 (1988)
18. Melliès, P.-A.: Categorical models of linear logic revisited. To appear in Theoretical Computer Science
19. Schalk, A.: What is a categorical model of linear logic? Notes for research students (2004)
20. Seely, R.: Linear logic, *-autonomous categories and corree coalgebras. In: Applications of Categories in Logic and Computer Science. Contemporary Mathematics, vol. 92 (1989)
21. Sweedler, M.: Hopf algebras. Benjamin, NY (1969)