Chris Hankin

Identifiers

Open LibraryOL584399A

Top Subjects

Computer programming (2)
Computers - Languages / Programming (2)
Computers (2)
Computer Books: General (2)
Programming - Software Development (2)
Lambda calculus (1)
Logic Design (1)

Books by Chris Hankin

Total count: 7

Lambda calculia guide for the perplexed1st ed.

Clarendon Press1994-01-01
Coordination ProgrammingMechanisms, Models and Semantics

World Scientific Publishing Co Pte Ltd1996-01-01
Programming Languages and Systems7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)1 edition

Springer1998-04-24
Principles of Program Analysis1st ed. 1999. Corr. 2nd printing edition

Springer2004-12-07
Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Springer London, Limited2005-01-01
Introducao ao calculo lambda

College Publications2012-08-16
Semantics, Logics, and CalculiEssays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Springer2015-12-25