output
20002025
most citedDecoherence time in self-induced decoherence

55 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2015Show all

2 papers · 1 filter

cs.LO2015★ 3 cited

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+

Alejandro Díaz-Caro, Pablo E. Martínez López

We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rew…

cs.LO2015

Proof Normalisation in a Logic Identifying Isomorphic Propositions

Alejandro Díaz-Caro, Gilles Dowek

We define a fragment of propositional logic where isomorphic propositions, such as and , or and $(A\Rightarrow B)\land(A\Rightarrow C…