| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | onbekend |
| Publisher | UU WINFI Informatica en Informatiekunde |
| Volume | UU-CS-2009-017 |
| Edition | UU-CS |
| Publication status | Published - 2009 |
Enumerating Well-Typed Terms Generically
J.T. Jeuring, A. Rodriguez Yakushev
Research output: Book/Report › Report › Academic