Directional types in logic programming
By: Johan Boye
Contributors: Universitetet i Linköping
Published: 1996
Language: eng
Number of pages: 176
Notes: Thesis (doctoral)--Linköping University, 1996.