Analysis and transformation (1999)

by N Benton, A Kennedy
Venue:In Higher Order Operational Techniques in Semantics: Third International Workshop