01335nlm0 22003851i 450 9900092509204033219783540320142000925092FED01000925092(Aleph)000925092FED0100092509220100926d2005----km-y0itay50------baengDEdrnn-008mamaaTyped Lambda Calculi and ApplicationsRisorsa elettronica7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedingsedited by Pawe{l} UrzyczynBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433461Documento elettronicoTestoFormato html, pdfUrzyczyn,PawelITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b135690EB990009250920403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesTyped Lambda Calculi and Applications772124UNINA