Lambda Calculi: A Guide for Computer Scientists. Graduate Texts (1994)

by Chris Hankin
Venue:in Computer Science