Data di Pubblicazione:
2019
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Computational adequacy; Core calculus; Denotational semantics; Distributed computing; Operational semantics; Type system
Elenco autori:
Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: