Semantics for programming languages with Coq encodings (2015)

1 points | by Thom2503 2 hours ago

No comments yet