Chris Hankin
Chris Hankin
5 books in the database
Books
Lambda CalculiChris Hankin
Lambda Calculi
Chris Hankin · 1994
Static analysisChris Hankin
Static analysis
Chris Hankin · 2005
Programming Languages and SystemsChris Hankin
Programming Languages and Systems
Chris Hankin · 1998
Coordination programmingChris Hankin
Coordination programming
Chris Hankin · 1996
Introducao ao calculo lambdaChris Hankin
Introducao ao calculo lambda
Chris Hankin · 2012
Co-authored books and collections
Books that list Chris Hankin among their authors but not as the lead author: co-written works, collections and compilations.
