Items where authors include "Blanchette, J."

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Blanchette, J., Böhme, S., Popescu, A. et al. (1 more author) (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4). pp. 1-52. ISSN 1860-5974

This list was generated on Sat May 4 07:53:19 2024 BST.