print

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
Journal metrics at Scopus
Article at Scopus
category (general)
Mathematics
Computer science
category (sub)
Mathematics. General mathematics
Computer science. Computer science (miscellaneous)
kvartiil
Q1
TTÜ department
küberneetika instituut
tarkvarateaduse instituut
language
inglise
Chapman, J., Uustalu, T., Veltri, N. Formalizing restriction categories // Journal of formalized reasoning (2017) vol. 10, 1, p. 1-36. https://doi.org/10.6092/issn.1972-5787/6237