PhD abstracts
autor
Hutton, Graham
vastutusandmed
Graham Hutton
ajakirja aastakäik number kuu
vol. 25
ilmumisaasta
leheküljed
art. e25, p. 1-18
tema kohta
ISSN
0956-7968
märkused
Artikkel sisaldab dissertatsioonide kokkuvõtteid.
Niccolo Veltri. A type-theoretical study of non-termination, p.17-18
keel
inglise
Hutton, G. PhD abstracts // Journal of functional programming (2017) vol. 25, art. e25, p. 1-18.