Chapman, J., Uustalu, T., Veltri, N.

prindi

Formalizing restriction categories

autor

Chapman, James

Uustalu, Tarmo

Veltri, Niccolo

vastutusandmed

James Chapman, Tarmo Uustalu and Niccolò Veltri

allikas

Journal of formalized reasoning

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

TTÜ struktuuriüksus

küberneetika instituut

tarkvarateaduse instituut

keel

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