Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00925001
Contributor : Alejandro Díaz-Caro <>
Submitted on : Tuesday, January 7, 2014 - 1:56:54 PM
Last modification on : Tuesday, March 2, 2021 - 10:09:20 AM

Links full text

Identifiers

Citation

Alejandro Díaz-Caro, Gilles Dowek. Non determinism through type isomorphism. LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. pp.137-144, ⟨10.4204/EPTCS.113.13⟩. ⟨hal-00925001⟩

Share

Metrics

Record views

344