Formalizing restriction categories
autor
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
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
leitav
https://doi.org/10.6092/issn.1972-5787/6237
märksõna
funktsioonid (matemaatika)
kategooriad (matemaatika)
programmeerimine
ISSN
1972-5787
märkused
Bibliogr.: 15 ref
TTÜ struktuuriüksus
küberneetika instituut
tarkvarateaduse instituut
keel
inglise