Typing coroutines in subtractive logic

Abstract : We present a formulae-as-types interpretation of Subtractive Logic (i.e. bi-intuitionistic logic). From a computational standpoint, the resulting calculus provides a type system for first-class coroutines.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00094662
Contributor : Tristan Crolard <>
Submitted on : Thursday, September 14, 2006 - 5:24:14 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Identifiers

  • HAL Id : hal-00094662, version 1

Collections

Citation

Tristan Crolard. Typing coroutines in subtractive logic. 1999, pp.1-19. ⟨hal-00094662⟩

Share

Metrics

Record views

47