Notice RAMEAU

  • Notice
000 00617c0 am22000272 45
001 FRBNF119586902
008 831123010710 211
166 .. $w ....b..... $a Lambda-calcul
301 .. $3 15583922 $w ....b..... $a Modèle de programmation chimique
301 .. $3 15116479 $w ....b..... $a Isomorphisme de Curry-Howard
301 .. $3 14402085 $w ....b..... $a Pi-calcul
466 .. $w ....b..... $a Calcul lambda
502 .. $3 11965690 $w ....b..... $a Logique mathématique
610 .. $a PASCAL Lex., 1991
622 12 $a Lambda-calcul $v RVMLaval $d 2001-07-10
622 1. $a Lambda calculus $v LCSH $u http://id.loc.gov/authorities/subjects/sh85074174 $d 2017-02-09
624 .. $a 510
690 .. $a MACS
917 .. $o OPL $a 001880468

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (39)