Chris Hankin
Books
Lambda Calculi
1994
ISBN 9780198538417
Static analysis
2005
ISBN 9783540319719
Coordination programming
1996
ISBN 9781860940231
Programming Languages and Systems
1998
ISBN 9783662184035
Introducao ao calculo lambda
2012
ISBN 9781848900844
A Concise Introduction to Languages and Machines
2008
ISBN 9781848001206