Sémantique du temps et lambda-calcul

Enregistré dans:
Détails bibliographiques
Auteur principal : Renaud Francis
Format : Livre
Langue : français
Titre complet : Sémantique du temps et lambda-calcul / Francis Renaud,...
Publié : Paris : Presses universitaires de France , 1996
Description matérielle : VIII-252 p.
Collection : Linguistique nouvelle. ; 1996
Sujets :
LEADER 01287cam a2200385 4500
001 PPN004005597
005 20170725133800.0
009 DYNIX_BUNAN_260743
010 |a 2-13-047709-7  |b br.  |d 178 F 
020 |a FR  |b 09705881 
021 |a FR  |b DL 96-42304 
035 |a frBN022034140 
100 |a 19961122d1996 m u0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a zz 00|z| 
106 |a r 
200 1 |a Sémantique du temps et lambda-calcul  |f Francis Renaud,... 
210 |a Paris  |c Presses universitaires de France  |d 1996  |e 41-Vendôme  |g Impr. des PUF 
215 |a VIII-252 p.  |c graph.  |d 22 cm 
225 2 |a Linguistique nouvelle  |x 0292-4226 
300 |a Bibliogr. p. 243-250. Index 
345 |b 9782130477099 
410 0 |3 frBN004158802  |t Linguistique nouvelle.  |x 0292-4226  |v 1996 
606 |3 frBN012999865  |a Sémantique  |x Modèles mathématiques 
606 |3 frBN001880468  |a Lambda-calcul 
675 |a 80  |v Éd. 1967 
676 |a 400 
700 1 |3 frBN007015656  |a Renaud  |b Francis  |f 1944-.... 
801 3 |a FR  |b BN  |c 19970306  |g AFNOR 
960 |3 frBN001880468  |a Calcul lambda  |9 60602 
979 |a LET 
990 |a 260743 
993 |a 0082819426  |b LET  |c 410 REN  |d EM  |e LIN  |f I  |g 11-12-1996  |h 01-07-1997  |k 27.14  |o 12-04-2000  |p 1  |s XA 281942  |t EM  |u LLIN  |v i 
998 |a 159271