Notice RAMEAU
- Notice
000 cx j22 45
001 FRBNF151164796
005 20070313
100 .. $a 20061129afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a Isomorphisme de Curry-Howard
450 .. $7 ba0yba0y $8 fre $9 $a Correspondance de Curry-Howard
450 .. $7 ba0yba0y $8 fre $9 $a Curry-Howard, Correspondance de
450 .. $7 ba0yba0y $8 fre $9 2 $a Curry-Howard, Isomorphisme de
686 .. $a 510 $c Mathématiques $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20070313
810 .. $a Le point aveugle : cours de logique / J.-Y. Girard, 2006 $a Proofs and types / J.-Y. Girard, Y. Lafont, P. Taylor, 1990
822 1. $a Curry-Howard isomorphism $2 LCSH $u http://id.loc.gov/authorities/subjects/sh2001002954 $d 2017-02-09
