PhD abstracts
author
Hutton, Graham
statement of authorship
Graham Hutton
journal volume number month
vol. 25
year of publication
pages
art. e25, p. 1-18
subject term
about the person
ISSN
0956-7968
notes
Artikkel sisaldab dissertatsioonide kokkuvõtteid.
Niccolo Veltri. A type-theoretical study of non-termination, p.17-18
language
inglise
Hutton, G. PhD abstracts // Journal of functional programming (2017) vol. 25, art. e25, p. 1-18.