The Inverse Taylor Expansion Problem in Linear Logic
暂无分享,去创建一个
[1] Michael Barr,et al. *-Autonomous categories and linear logic , 1991, Mathematical Structures in Computer Science.
[2] Thomas Ehrhard,et al. Uniformity and the Taylor expansion of ordinary lambda-terms , 2008, Theor. Comput. Sci..
[3] Michael Barr. ∗-Autonomous categories, revisited☆ , 1996 .
[4] Ryu Hasegawa,et al. Two applications of analytic functors , 2002, Theor. Comput. Sci..
[5] Thomas Ehrhard,et al. Finiteness spaces , 2005, Mathematical Structures in Computer Science.
[6] Thomas Ehrhard,et al. Interpreting a Finitary Pi-calculus in Differential Interaction Nets , 2007, CONCUR.
[7] R G Chambers,et al. A(B) and A/B , 1981 .
[8] Thomas Ehrhard,et al. Interpreting a finitary pi-calculus in differential interaction nets , 2007, Inf. Comput..
[9] Roma TreVia Ostiense,et al. Obsessional experiments for Linear Logic Proof-nets , 2001 .
[10] Yves Lafont,et al. Interaction nets , 1989, POPL '90.
[11] Damiano Mazza,et al. The Separation Theorem for Differential Interaction Nets , 2007, LPAR.
[12] Laurent Regnier,et al. Lambda-calcul et reseaux , 1992 .
[13] Laurent Regnier,et al. The differential lambda-calculus , 2003, Theor. Comput. Sci..
[14] Lorenzo Tortora de Falco,et al. Obsessional experiments for linear logic proof-nets , 2003, Mathematical Structures in Computer Science.
[15] Jean-Yves Girard,et al. Normal functors, power series and λ-calculus , 1988, Ann. Pure Appl. Log..
[16] Jean-Yves Girard. Coherent Banach Spaces: A Continuous Denotational Semantics , 1999, Theor. Comput. Sci..
[17] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[18] Lionel Vaux,et al. λ-calcul différentiel et logique classique : interactions calculatoires , 2007 .
[19] Thomas Ehrhard,et al. Differential Interaction Nets , 2005, WoLLIC.