Circular Proofs as Session-Typed Processes: A Local Validity Condition
Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus. More recently, a correspondence between intuitionistic linear logic and the session-ty...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2019
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/1908.01909 http://arxiv.org/abs/1908.01909 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|