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)

Mer information

Skapat

2017-10-06