Typing coroutines in subtractive logic - Archive ouverte HAL Access content directly
Conference Papers Year : 1999

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.
No file

Dates and versions

hal-00094662 , version 1 (14-09-2006)

Identifiers

  • HAL Id : hal-00094662 , version 1

Cite

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

Collections

CNRS LACL UPEC
41 View
0 Download

Share

Gmail Facebook X LinkedIn More