Original language | English |
---|---|
Journal | Logical Methods in Computer Science |
DOIs | |
Publication status | Published - 2016 |
Externally published | Yes |
Encoding Monomorphic and Polymorphic Types
J.C. Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Research output: Contribution to Journal › Article › Academic › peer-review
24
Downloads
(Pure)