The Girard–Reynolds isomorphism (second
✍
Philip Wadler
📂
Article
📅
2007
🏛
Elsevier Science
🌐
English
⚖ 457 KB