Alpha Conversion in Simply Typed Lambda Calculus
Paper i proceeding, 1999
Författare
Ana Bove
Institutionen för datavetenskap
Paula Severi
6th Workshop on Logic, Language, Information and Computation
Ämneskategorier
Datavetenskap (datalogi)