The differentialλμ-calculus

This publication has 13 references indexed in Scilit:

• Böhm Trees, Krivine’s Machine and the Taylor Expansion of Lambda-Terms
  2006
• Finiteness spaces
  Mathematical Structures in Computer Science, 2005
• The differential lambda-calculus
  Theoretical Computer Science, 2003
• Polarized proof-nets and λμ-calculus
  Theoretical Computer Science, 2003
• On Köthe sequence spaces and linear logic
  Mathematical Structures in Computer Science, 2002
• λμ-calculus and Böhm's theorem
  The Journal of Symbolic Logic, 2001
• An environment machine for the λμ-calculus
  Mathematical Structures in Computer Science, 1998
• Nondeterministic Extensions of Untyped λ-Calculus
  Information and Computation, 1995
• Free deduction: An analysis of “Computations” in classical logic
  1992
• Linear logic
  Theoretical Computer Science, 1987