HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Siva Somayyajula

Publications
Type-Based Termination for Futures
Siva Somayyajula and Frank Pfenning
EasyChair Preprint no. 8625
Parametric Chu Translation
Siva Somayyajula
EasyChair Preprint no. 8624

Keyphrases

Chu construction, concurrency, futures, infinite proofs, negative translation, proof theory, sized types, type-based termination.

Copyright © 2012-2023 easychair.org. All rights reserved.