Formalizing restriction categories
author
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
James Chapman, Tarmo Uustalu and Niccolò Veltri
source
Journal of formalized reasoning
publisher
Alma Mater Studiorum (Bologna)
journal volume number month
vol. 10, 1
year of publication
2017
pages
p. 1-36
url
https://doi.org/10.6092/issn.1972-5787/6237
subject term
funktsioonid (matemaatika)
kategooriad (matemaatika)
programmeerimine
ISSN
1972-5787
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
quartile
Q1
TalTech department
küberneetika instituut
tarkvarateaduse instituut
language
inglise