full record print

Formalizing restriction categories

author
statement of authorship
James Chapman, Tarmo Uustalu and Niccolò Veltri
source
publisher
Alma Mater Studiorum (Bologna)
journal volume number month
vol. 10, 1
year of publication
pages
p. 1-36
url
ISSN
1972-5787
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
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