01593nlm0 22004451i 450 9900092530904033219783540681038000925309FED01000925309(Aleph)000925309FED0100092530920100926d2008----km-y0itay50------baengDEdrnn-008mamaaTypes for Proofs and ProgramsRisorsa elettronicaInternational Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papersedited by Marino Miculan, Ivan Scagnetto, Furio HonsellBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434941Documento elettronicoTestoFormato html, pdfHonsell,FurioMiculan,MarinoScagnetto,IvanITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-68103-8EB990009253090403321AlgebraData processingArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersSymbolic and Algebraic ManipulationTypes for Proofs and Programs771867UNINA