Session Types with Arithmetic Refinements

From MaRDI portal
Publication:5089277

DOI10.4230/LIPIcs.CONCUR.2020.13OpenAlexW3081625510MaRDI QIDQ5089277

Ankush Das, Frank Pfenning

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2005.05970




Related Items (3)



Cites Work


This page was built for publication: Session Types with Arithmetic Refinements