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
