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.
Type de document :
Communication dans un congrès
1999, INRIA, pp.1-19, 1999, Collection Didactique
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-00094662, version 1

Collections

Citation

Tristan Crolard. Typing coroutines in subtractive logic. 1999, INRIA, pp.1-19, 1999, Collection Didactique. 〈hal-00094662〉

Partager

Métriques

Consultations de la notice

45