Books by Roberto Amadio

4 books found

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

20082 ed.
Domains and lambda-calculi

Domains and lambda-calculi

19983 ed.
CONCUR 2003

CONCUR 2003

20031 ed.
CONCUR 2003 - Concurrency Theory

CONCUR 2003 - Concurrency Theory

20031 ed.