Journal of formalized reasoning (allikas)

teaviku laadid

Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
  • artikkel ajakirjas
    Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237
    artikkel ajakirjas
  • artikkel ajakirjas
    Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43
    artikkel ajakirjas
Kirjeid leitud 2, kuvan 1 - 2