SRC Research Report 54

Explicit Substitutions

Martin Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Levy

The lambda,sigma-calculus is a refinement of the lambda-calculus where substitutions are manipulated explicitly. The lambda,sigma-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical lambda-calculus and concrete implementations.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 2200 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 1856 Kbytes
  
• PostScript compressed with ZIP -- 1856 Kbytes
  
• PostScript -- 2360 Kbytes
  
• Portable Document Format (PDF) -- 1816 Kbytes