1 results
17 - A constructive denotational semantics for Kahn networks in Coq
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 383-414
-
- Chapter
- Export citation