Notice RAMEAU
- Notice
000 00763c0 am22000272 45
001 FRBNF151164796
008 061129070313 211
166 .. $w ....b..... $a Isomorphisme de Curry-Howard
466 .. $w ....b..... $a Correspondance de Curry-Howard
466 .. $w ....b..... $a Curry-Howard $o Correspondance de
466 .. $w ..2.b..... $a Curry-Howard $o Isomorphisme de
610 .. $a Le point aveugle : cours de logique / J.-Y. Girard, 2006 $a Proofs and types / J.-Y. Girard, Y. Lafont, P. Taylor, 1990
622 1. $a Curry-Howard isomorphism $v LCSH $u http://id.loc.gov/authorities/subjects/sh2001002954 $d 2017-02-09
624 .. $a 510
