Roberto Amadio
Amadio Roberto, Curien P-.L.:
Domains And Lambda Calculi
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 1998
Hardback, 500 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
Editor: Roberto Amadio
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2008
Mixed media product, 520 pages


