A formulae-as-types interpretation of Subtractive Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

A formulae-as-types interpretation of Subtractive Logic

Résumé

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).
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00094710 , version 1

Citer

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

Collections

CNRS LACL UPEC
42 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More