Notes from the LF meetings

Term representation - Frank Pfenning, February 20, 2007

• (pdf updated March 5, 2007)
• (pdf version from March 4, 2007)
• (pdf version from March 2, 2007)

Comments are welcome; thanks to Aleksey Kliger, Ruy Ley-Wild, and of course Frank Pfenning for their feedback.

Validation is like typechecking your webpage! XHTML, CSS