-
20.05.1994This volume contains thoroughly refereed and revised full papers selected from the presentations ...
-
30.04.2012
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...
-
11.06.2014
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...
-
05.10.2022
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...
-
12.01.2023
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...
-
27.09.2017
From the 1920s on, popular music in Southeast Asia was a mass-audience phenomenon that drew new c...
- 1