Chris Hankin - Böcker

Introduction to Lambada Calculi for Computer Scientists

Introducao Ao Calculo Lambda

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Coordination Programming: Mechanisms, Models And Semantics

Semantics, Logics, and Calculi

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

Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Coordination Languages and Models

First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.

Programming Languages and Systems

7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Principles of Program Analysis