Items where authors include "Böhme, S."

[up] Up a level
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 Tue Apr 1 15:23:05 2025 BST.