| 000 | 00986nam a2200253zi 4500 | ||
|---|---|---|---|
| 005 | 20210817123130.0 | ||
| 008 | 020401c 2001gw a 100 0 eng d | ||
| 020 | _a3540419608 | ||
| 035 | _aMX001000913686 | ||
| 041 | _aSPA | ||
| 050 | 4 |
_aQA9.5 _bI57 2001 |
|
| 111 | 2 |
_aInternational Conference on Typed Lambda Calculi and Applications _n(5 : _d2001 : _cKrakow, Poland) |
|
| 245 | 1 | 0 |
_aTyped Lambda Calculi and Applications : _b5th International Conference, TLCA'2001: Krakow, Poland, may 2-5, 2001 : proceedings / _cSamson Abramsky (ed.) |
| 300 |
_a429 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v2044 |
|
| 650 | 4 |
_aCálculo lambda _vCongresos |
|
| 700 | 1 |
_aAbramsky, Samson, _d1953- , _eeditor |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2001 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c34590 _d34590 |
||