Formalizing restriction categories
statement of authorship
James Chapman, Tarmo Uustalu and Niccolò Veltri
journal volume number month
vol. 10, 1
year of publication
pages
p. 1-36
ISSN
1972-5787
notes
Bibliogr.: 15 ref
TTÜ department
language
inglise
Chapman, J., Uustalu, T., Veltri, N. Formalizing restriction categories // Journal of formalized reasoning (2017) vol. 10, 1, p. 1-36.