TalTech publikatsioonid
pealdis Veltri, N., Vezzosi, A.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ed
keel inglise
autor Veltri, Niccolò
Vezzosi, Andrea
pealkiri The early π-calculus in ticked cubical type theory
vastutusandmed Niccolo Veltri and Andrea Vezzosi
allikas 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
ilmumiskoht Tallinn
kirjastus/väljaandja Department of Software Science, Tallinn University of Technology
ilmumisaasta c2019
leheküljed p. 77-80
konverentsi nimetus, aeg 31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
konverentsi toimumispaik Tallinn, Estonia
märksõna programmeerimiskeeled
semantika
ISBN 978-9949-83-520-1
märkused Bibliogr.: 13 ref
url https://doi.org/10.23658/taltech.nwpt/2019