Operational Aspects of Full Reduction in Lambda Calculi

Aquesta tesi apareix a les col·leccions següents