01643nam2-2200421li-450 99000020501020331620180312154757.03-540-62688-30020501USA010020501(ALEPH)000020501USA01002050120001109h----1997997y0itay0103----baengGWTyped lambda calculi and applicationsthird International conference on typed lambda calculi and applications, TLCA '97Nancy, France, April1997proceedingsPhilippe de Groote ... [et al.] (eds.)BerlinSpringer-Verlag[etc.]copyr. 1997VIII, 404 p.ill23 cmLecture notes in computer science121000100202642001Lecture notes in computer sciencealgoritmicongressi1997congressinancy1997elaborazione elettronicamodelli matematicicongressi1997004Elab. dei dati Scienza degli elab. InformaticaDe Groote,PhilippeInternational conference on typed lambda calculi and applications TLCA'973.Nancy1997753197Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205010203316001 LNCS (1210)002000300100103985BKSCI1997041720001110USA011714ALANDI9020010202USA01103320020403USA011628PATRY9020040406USA011615Typed lambda calculi and applications1515125UNISA01023nam a2200277 i 450099100241478970753620020508195827.0000418s1986 it ||| | ita b11005804-39ule_instPARLA162150ExLDip.to Scienze pedagogicheita248.24019De Sanctis, Sante181919La conversione religiosa /Sante De Sanctis ; introduzione di Alberto RanziRied. anast.Bologna :Pitagora,1986XLIV, XV, 266 p. ;24 cm.Classici della psicologia italiana Sez. 1, Le opereConversione religiosaAspetti psicologiciRanzi, Alberto.b1100580423-02-1728-06-02991002414789707536LE022 248 DES01.0112022000001670le022-E0.00-l- 01110.i1112272928-06-02Conversione religiosa861558UNISALENTOle02201-01-00ma -itait 31