Semantics With Applications: A Formal Introduction (1999)
Lobsters·3 points·nickpsecurity·over 9 years ago·daimi.au.dk
Read the full article at daimi.au.dk →
Related stories
- SciPy 1.0 — 16 Years in the Makingnumfocus.orgLobsters · 6 points · almost 9 years ago
- Show HN: Mathy – Build Math Automaticitymathy.gameHacker News · 1 points · 12 days ago
- Practical Decryption exFiltration: Breaking PDF Encryptionpdf-insecurity.orgLobsters · 3 points · about 7 years ago
- Mathematics for programmersyurichev.comLobsters · 56 points · about 6 years ago
- Hacker News · 3 points · 9 days ago
- Lobsters · 9 points · about 4 years ago