OtiumSessione
Sessione
Non abbiamo ancora una biografia di Chris Hankin.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Principles of program analysis
2015
Static analysis
2005
Semantics, Logics, and Calculi
2016
Lambda Calculi
1994
Coordination programming
1996
Abstract interpretation of declarative languages
1987
Programming Languages and Systems
2014
Introducao ao calculo lambda
2012
Coordination: Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996
1996