Alpha Conversion in Simply Typed Lambda Calculus
Paper in proceedings, 1999

Author

Ana Bove

Department of Computer Science

Paula Severi

6th Workshop on Logic, Language, Information and Computation

Subject Categories

Computer Science

More information

Created

10/6/2017