Skip to Main content Skip to Navigation
Conference papers

A formulae-as-types interpretation of Subtractive Logic

Abstract : We present a formulae-as-types interpretation of Subtractive Logic (i.e. bi-intuitionistic logic). From a computational standpoint, this calculus provides a type system for first-class coroutines (a restricted form of first-class continuations).
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00094710
Contributor : Tristan Crolard <>
Submitted on : Thursday, September 14, 2006 - 5:56:22 PM
Last modification on : Thursday, January 23, 2020 - 3:48:01 PM

Identifiers

  • HAL Id : hal-00094710, version 1

Collections

Citation

Tristan Crolard. A formulae-as-types interpretation of Subtractive Logic. First Workshop on the Logic for Pragmatics, 2003, Verona, Italy. ⟨hal-00094710⟩

Share

Metrics

Record views

47