Publications

  1. Constructing differential categories and deconstructing categories of games.
    J. Laird, G. Manzonetto and G. McCusker. International Conference on Automata, Languages and Programming - Part II (ICALP 2011), Volume 6756 of LNCS, pages 186-197, 2011. Paper (pdf), (ps);
  2. Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.
    G. Manzonetto and M. Pagani. Typed Lambda Calculi and Applications (TLCA'11), Volume 6690 of LNCS, pages 153-168, 2011. Paper (pdf), (ps);
  3. Full Abstraction for Resource Calculus with Tests.
    A. Bucciarelli, A. Carraro, T. Ehrhard and G. Manzonetto. January 2011. Accepted in CSL 2011. Paper (pdf), (ps);
  4. What is a Categorical Model of the Differential and the Resource Lambda Calculi?
    G. Manzonetto. Submitted to Mathematical Structures in Computer Science. June 2010. (41pp). Paper (pdf), (ps);
  5. Categorical Models for Simply Typed Resource Calculi.
    A. Bucciarelli, T. Ehrhard and G. Manzonetto. 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS'10), Volume 265 of Electronic Notes in Theoretical Computer Science, Pages 213-230, 2010. Paper (pdf), (ps);
  6. CALMOC: Categorical and Algebraic Models of Computation.
    H. Barendregt, M. Gehrke, H. Geuvers, G. Manzonetto and J. Rutten. Poster presented at SIREN/NL 2010. Poster (pdf).