The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working co

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in A

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in

I first became interested in Husserl and Heidegger as long ago as 1980, when as an undergraduate at the Freie Universitat Berlin I studied the books by Professo