On building abstract Terms in Typed Systems
Title | On building abstract Terms in Typed Systems |
Publication Type | Conference Paper |
Authors | Primiero, G |
Editor | Tomala, O, Honzik, R |
UGent Biblio Link | http://hdl.handle.net/1854/LU-376590 |
---|---|
Download PDF | (Author PDF) |
UGent Biblio Link:
PDF author (public):