Shivers, Olin

• BRICS Report Series No. 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs - Articles
  Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
  Abstract  PDF