Domains and lambda-calculi /

Autor Amadio, Roberto M., Curien, Pierre-Louis, 1953-
Vydáno 1998

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 /

Vydáno 2008

CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings /

Vydáno 2003