No. 2 (1998): RS-02 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

Full text not available. This report is superseded by the later report BRICS RS-99-21.
Published: 1998-01-02