HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Siva Somayyajula

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

Keyphrases

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

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