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

kirjastus/väljaandja

Alma Mater Studiorum (Bologna)

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

teaduspublikatsioon

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

kategooria (üld)

Matemaatika

Arvutiteadus

kategooria (alam)

Matemaatika. Üldmatemaatika

Arvutiteadus. Arvutiteadus (mitmesugused)

kvartiil

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