Semantics for programming languages with Coq encodings (2015)

• Posted 2 hours ago by Thom2503
• 1 points