👤

Chris Hankin

6 books

Books by Chris Hankin

Principles of program analysis
Principles of program analysis
2015
Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2015
Introducao ao calculo lambda
Introducao ao calculo lambda
2012
Coordination programming
Coordination programming
1996
Lambda Calculi
Lambda Calculi
1994
Abstract interpretation of declarative languages
Abstract interpretation of declarative languages
1987