Semantics for programming languages with Coq encodings (2015)

1 pointsposted 7 hours ago
by Thom2503
(inria.hal.science)

No comments yet