This volume contains thoroughly refereed and revised full papers selected from the presentations ...

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...