Notice bibliographique

Notice

000 nam 22 3 450

001 FRBNF446919960000005

003 http://catalogue.bnf.fr/ark:/12148/cb44691996h

010 .. $a 9783540472537

035 .. $a OCoLC801037771

100 .. $a 20170801d1986 m y0frey50 ba

101 0. $a eng

102 .. $a DE

105 .. $a ||||z 00|||

106 .. $a s $a r

135 .. $a dru||||||||||

181 .0 $6 01 $a i $b xxxe

181 .. $6 02 $c txt $2 rdacontent

182 .0 $6 01 $a b

182 .. $6 02 $c c $2 rdamedia

200 1. $a Combinators and Functional Programming Languages $b Texte électronique $e Thirteenth Spring School of the LITP Val d'Ajol, France, May 6-10, 1985 Proceedings $f edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

210 .. $a Berlin, Heidelberg $c Springer-Verlag $c Springer e-books $d 1986

215 .. $a 1 online resource

225 1. $a Lecture Notes in Computer Science $v 242

300 .. $a L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

606 .. $3 11932109 $a Informatique $2 rameau

606 .. $3 11947372 $a Logique combinatoire $2 rameau

606 .. $3 11932648 $a Programmation (informatique) $2 rameau

606 .. $3 11982287 $a Langages de programmation fonctionnelle $2 rameau

676 .. $a 005.11 $v 23

676 .. $a 005.133 (FrontPage) $v 23

700 .| $3 17205799 $a Cousineau $b Guy $4 070

702 .| $3 17206595 $a Curien $b Pierre-Louis $4 570

702 .| $3 17273487 $a Robinet $b Bernard $4 570

801 .3 $a US $b OCoLC $c 20170801 $h 801037771 $2 marc21

801 .0 $b ZWZ $g ncafnor

930 .. $5 FR-759999999:44691996001001 $a ACQNUM-73762 $b 759999999 $c Document numérisé $d N