PhD abstracts
author
Hutton, Graham
statement of authorship
Graham Hutton
source
Journal of functional programming
journal volume number month
vol. 25
year of publication
2017
pages
art. e25, p. 1-18
url
https://doi.org/10.1017/s0956796817000181
subject term
dissertatsioonid
funktsionaalprogrammeerimine
name of the person
Veltri, Niccolo
ISSN
0956-7968
notes
Artikkel sisaldab dissertatsioonide kokkuvõtteid.
Niccolo Veltri. A type-theoretical study of non-termination, p.17-18
language
inglise