SRC Technical Note 1998-004

Substitution: Syntactic versus Semantic

Leslie Lamport

A formalism with quantifiers permits two kinds of substitution: syntactic substitution that allows the capture of bound variables and semantic substitution that does not. When quantification is explicit, all substitution can be made semantic. When quantification is implicit, as in some formalisms used to reason about programs, both types of substitution are needed.

Back to the SRC Technical Notes main page.

• PostScript compressed with UNIX compress -- 208 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 200 Kbytes
  
• PostScript compressed with ZIP -- 200 Kbytes
  
• PostScript -- 360 Kbytes
  
• Portable Document Format (PDF) -- 36 Kbytes