Encoding Monomorphic and Polymorphic Types

J.C. Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone

Research output: Contribution to JournalArticleAcademicpeer-review

24 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
DOIs
Publication statusPublished - 2016
Externally publishedYes

Cite this