discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lambda the Ultimate
The Galois connection between syntax and semantics
http://www.logicmatters.net/resources/pdfs/Galois.pdf
8 comments
5/6/2010
Semantics