discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
In what kinds of logic (or formal systems) does this book describe the semantics of programming languages?
https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf
6 comments
12/7/2020
compsci