Chris Hankin

No bio available. Add one in Open Library.

Books by Chris Hankin (50 max)

+ shelf+ list

Principles of program analysis

1999

Flemming Nielson, Hanne Riis Nielson, Chris Hankin

+ shelf+ list

Lambda calculi: a guide for the perplexed

1994

Chris Hankin

+ shelf+ list

Coordination programming: mechanisms, models, and semantics

1996

Chris Hankin

+ shelf+ list

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)

1998

Chris Hankin

+ shelf+ list

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Chris Hankin

+ shelf+ list

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2015

Christian W. Probst, Chris Hankin, René Rydhof Hansen

+ shelf+ list

Abstract interpretation of declarative languages

1987

Samson Abramsky, Chris Hankin

+ shelf+ list

Introducao ao calculo lambda

2012

Chris Hankin, Jo O. Rasga