|
|
|
|
| LEADER |
01023nam a22002297 4500 |
| 001 |
7bf43bd5-df03-46f8-9afe-aa2bae315297 |
| 005 |
20230616000000.0 |
| 008 |
971005|||||||||xx |||||||||||||||||eng|| |
| 027 |
1 |
|
|a Rapport de recherche 2581
|
| 035 |
|
|
|a (OCoLC-I)275555021
|
| 035 |
|
|
|a (OCoLC-M)123341411
|
| 110 |
2 |
0 |
|a Institut National de Recherche en Informatique et en Automatique
|n 2581.
|? UNAUTHORIZED
|
| 245 |
1 |
0 |
|a Calculus, Multiplicities and the calculus
|
| 260 |
1 |
|
|c 1995
|
| 596 |
|
|
|a 31
|
| 653 |
|
|
|a Functional and concurrent languages
|
| 653 |
|
|
|a Lambda-calculus
|
| 653 |
|
|
|a Semantics
|
| 700 |
1 |
|
|a Boudol, Gerard
|? UNAUTHORIZED
|
| 700 |
1 |
|
|a Laneve, Cosimo
|
| 999 |
1 |
0 |
|i 7bf43bd5-df03-46f8-9afe-aa2bae315297
|l a4643063
|s US-CST
|m calculus_multiplicities_and_the_calculus___________________________________1995____________a________________________________________institut_national_de_______________p
|
| 999 |
1 |
1 |
|l a4643063
|s ISIL:US-CST
|t BKS
|a SAL3 STACKS
|b 36105046123175
|c 133326
|d ALPHANUM
|x STKS-MONO
|y 36105046123175
|p LOANABLE
|