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).
Type de document :
Communication dans un congrès
First Workshop on the Logic for Pragmatics, 2003, Verona, Italy. 2003
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00094710
Contributeur : Tristan Crolard <>
Soumis le : jeudi 14 septembre 2006 - 17:56:22
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • 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. 2003. 〈hal-00094710〉

Partager

Métriques

Consultations de la notice

34