TalTech publikatsioonid
pealdis Chapman, J., Uustalu, T., Veltri, N.
TTÜ struktuuriüksus küberneetika instituut
tarkvarateaduse instituut
maakood it
keel inglise
autor Chapman, James
Uustalu, Tarmo
Veltri, Niccolò
pealkiri Formalizing restriction categories
vastutusandmed James Chapman, Tarmo Uustalu and Niccolò Veltri
allikas Journal of formalized reasoning
ajakirja aastakäik number kuu vol. 10, 1
ilmumisaasta 2017
leheküljed p. 1-36
märksõna funktsioonid (mat.)
kategooriad (mat.)
programmeerimine
ISSN 1972-5787
märkused Bibliogr.: 15 ref
url https://doi.org/10.6092/issn.1972-5787/6237