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
Contributor : Alejandro Díaz-Caro Connect in order to contact the contributor
Submitted on : Tuesday, January 7, 2014 - 1:56:54 PM
Last modification on : Friday, January 21, 2022 - 3:15:36 AM

Links full text



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⟩



Record views