A constructive denotational semantics for Kahn networks in Coq (2009)

by C Paulin-Mohring
Venue:From Semantics to Computer Science: Essays in Honour of Gilles Kahn