Non determinism through type isomorphism

Abstract : We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.
Type de document :
Communication dans un congrès
Delia Kesner and Petrucio Viana. LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. Open Publishing Association, 113, pp.137-144, 2013, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.113.13〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00925001
Contributeur : Alejandro Díaz-Caro <>
Soumis le : mardi 7 janvier 2014 - 13:56:54
Dernière modification le : mercredi 4 juillet 2018 - 23:14:02

Lien texte intégral

Identifiants

Collections

Citation

Alejandro Díaz-Caro, Gilles Dowek. Non determinism through type isomorphism. Delia Kesner and Petrucio Viana. LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. Open Publishing Association, 113, pp.137-144, 2013, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.113.13〉. 〈hal-00925001〉

Partager

Métriques

Consultations de la notice

172