Alpha Conversion in Simply Typed Lambda Calculus
Paper in proceeding, 1999
Author
Ana Bove
Department of Computer Science
Paula Severi
6th Workshop on Logic, Language, Information and Computation
Subject Categories
Computer Science