Formalizing restriction categories
autor
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
James Chapman, Tarmo Uustalu and Niccolò Veltri
allikas
Journal of formalized reasoning
kirjastus/väljaandja
Alma Mater Studiorum (Bologna)
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
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100262198
https://www.scopus.com/record/display.uri?eid=2-s2.0-85037556982&origin=inward&txGid=b0a45e10255a18f0d3b9a2706c6472db
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
kvartiil
Q1
TTÜ struktuuriüksus
küberneetika instituut
tarkvarateaduse instituut
keel
inglise