full record print

The early π-calculus in ticked cubical type theory

author
statement of authorship
Niccolo Veltri and Andrea Vezzosi
source
location of publication
Tallinn
publisher
year of publication
pages
p. 77-80
conference name, date
31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
conference location
Tallinn, Estonia
url
ISBN
978-9949-83-520-1
notes
Bibliogr.: 13 ref
TTÜ department
language
inglise
Veltri, N., Vezzosi, A. The early π-calculus in ticked cubical type theory // 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts. Tallinn : Department of Software Science, Tallinn University of Technology, 2019. p. 77-80. https://doi.org/10.23658/taltech.nwpt/2019