| 000 | 02528nam a22005055i 4500 | ||
|---|---|---|---|
| 001 | u376338 | ||
| 003 | SIRSI | ||
| 005 | 20160812084408.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110611s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642216916 _9978-3-642-21691-6 |
||
| 040 | _cMX-MeUAM | ||
| 050 | 4 | _aQA8.9-QA10.3 | |
| 082 | 0 | 4 |
_a005.131 _223 |
| 100 | 1 |
_aOng, Luke. _eeditor. |
|
| 245 | 1 | 0 |
_aTyped Lambda Calculi and Applications _h[recurso electrónico] : _b10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / _cedited by Luke Ong. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 300 |
_aXII, 245 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6690 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aLogic design. | |
| 650 | 0 |
_aAlgebra _xData processing. |
|
| 650 | 0 | _aElectronic data processing. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aMathematics of Computing. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aSymbolic and Algebraic Manipulation. |
| 650 | 2 | 4 | _aComputing Methodologies. |
| 650 | 2 | 4 | _aMathematical Logic and Foundations. |
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642216909 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6690 |
|
| 856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-21691-6 |
| 596 | _a19 | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c204218 _d204218 |
||