cam a22 4500 257282181 CHVBK 20201209093402.0 090715s2009 gw ||||| |||| 10 |eng d 978-3-642-02272-2 (RERO)R005127950 RERO geucui s1in rero Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings Pierre-Louis Curien, (ed.) TLCA 2009 Berlin Springer 2009 415 p. ill. txt rdacontent n rdamedia nc rdacarrier Theoretical computer science and general issues. Sublibrary of Lecture notes in computer science 5608 Variante du titre: TLCA 2009 Lambda-calcul (RERO)A021011164 rero Actes de congrès (RERO)A021105530 rero Curien Pierre-Louis (IDREF)033525587 International Conference on Typed Lambda Calculi and Applications (9 2009 Brasília) (RERO)A016571324 Lecture notes in computer science 5608 (RERO)000078255 BK020800 XK020000 XK020000 RERO RE61083 RE61083 RE610830006 F.4.1 TYP 9 RERO 490 1- Theoretical computer science and general issues. Sublibrary of Lecture notes in computer science 5608 RERO 700 1- Curien Pierre-Louis (IDREF)033525587 RERO 711 2- International Conference on Typed Lambda Calculi and Applications (9 2009 Brasília) (RERO)A016571324 RERO 830 -- Lecture notes in computer science 5608 (RERO)000078255 SWISSBIB 168950413