The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it p

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The

A presentation of the formal underpinnings of object-oriented programming languages.

Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in incre

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i