It was realized in the early nineties that the Curry-Howard isomorphism can be extended to
the case of the classical logic as well. Several calculi have appeared to provide a suitable …

The theory of the λ-calculus was introduced by Church in two subsequent papers (cf. Church
[5], Church [6]). His work was part of the vast efforts aiming to give a theoretical foundation …

Dans les années quatre-vingts-dix, on a remarqué ce que l'isomorphisme de Curry-Howard
peut être étendu à la logique classique. De nombreux calculs ont été développés pour …

It was realized in the early nineties that the Curry-Howard isomorphism can be extended to
the case of the classical logic as well. Several calculi have appeared to provide a suitable …

The theory of the λ-calculus was introduced by Church in two subsequent papers (cf. Church
[5], Church [6]). His work was part of the vast efforts aiming to give a theoretical foundation …

It was realized in the early nineties that the Curry-Howard isomorphism can be extended to
the case of the classical logic as well. Several calculi have appeared to provide a suitable …

The theory of the λ-calculus was introduced by Church in two subsequent papers (cf. Church
[5], Church [6]). His work was part of the vast efforts aiming to give a theoretical foundation …

It was realized in the early nineties that the Curry-Howard isomorphism can be extended to
the case of the classical logic as well. Several calculi have appeared to provide a suitable …