Otsing - TalTech teadusportaal

29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts (allikas)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

ekspordi kõik päringu tulemused (1)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Consequences of the modal unification of the functional calling paradigmsEspírito Santo, José; McDermott, Dylan; Pinto, Luís; Uustalu, Tarmo29th International Conference on Types for Proofs and Programs, TYPES 2023 : Valencia, Spain, 12-15 June 2023, Abstracts2023 / p. 33-35 https://types2023.webs.upv.es/TYPES2023.pdf

artikkel kogumikus

Kirjeid leitud 1, kuvan 1 - 1