Scott Smith

Bar Types
Scott Smith, March 18, 1987
Term Model Semantics and Tait Computability Method
Scott Smith, March 11, 1987
Defining Lambda-prl and Its Extensions
Scott Smith, 1984-85


Home | Introduction |Authors | Topics | Chronological List | PRL Project


 
Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu