Book serie: / Книги серии: Semantic Structures in Computation 3 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Semantic Structures in Computation 3

book Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

pdf

Author: Pierre-Louis Curien (auth.) G Q Zhang J. Lawson Y.-M. Liu M.-K. Luo (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Call-By-Push-Value: A Functional/Imperative Synthesis

Call-By-Push-Value: A Functional/Imperative Synthesis

pdf

Author: Paul Blain Levy (auth.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

pdf

Author: Jimmie D. Lawson (auth.) Klaus Keimel Guo-Qiang Zhang Ying-Ming Liu Yi-Xang Chen (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0