Session Types with Arithmetic Refinements and Their Application to Work Analysis
Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the t...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2001.04439 http://arxiv.org/abs/2001.04439 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|