Kansikuva

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Montacute, Yoàv, Winskel, Glynn
Aineistotyyppi: Preprint
Julkaistu: 2024
Aiheet:
Logic in Computer Science
Programming Languages
Category Theory
Linkit:https://arxiv.org/abs/2405.11267
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

https://arxiv.org/abs/2405.11267

Samankaltaisia teoksia