Calling paradigms and the box calculus
autor
Santo, Jose Espırito
Pinto, Luis
Uustalu, Tarmo
vastutusandmed
Jose Espırito Santo, Luıs Pinto, and Tarmo Uustalu
allikas
EUTYPES-TYPES 2020 : Abstracts
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2020
leheküljed
2 p
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 188
konverentsi nimetus, aeg
26th International Conference on Types for Proofs and Programs TYPES 2020, March 2–5, 2020
konverentsi toimumispaik
Turin, Italy
leitav
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
märksõna
loogika
modaalsus
loogiline programmeerimine
vormimärksõna
konverentsikogumikud
ISSN
1868-8969
ISBN
978-3-95977-182-5
märkused
Bibliogr.: 6 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise