%0 Journal Article
%T Non determinism through type isomorphism
%A Alejandro D¨Şaz-Caro
%A Gilles Dowek
%J Electronic Proceedings in Theoretical Computer Science
%D 2013
%I Open Publishing Association
%R 10.4204/eptcs.113.13
%X 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.
%U http://arxiv.org/pdf/1303.7334v1