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