Roberto Amadio
Amadio Roberto, Curien P-.L.:
Domains And Lambda Calculi
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 1998
Hardback, 504 pages
Foundations Of Software Science And Computational Structures
11Th International Conference, Fossacs 2008, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
Illustrated Ed
Editor: Roberto Amadio
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Paperback, 520 pages


