Types for proofs and programs = inte...
Scagnetto, Ivan.

 

  • Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Types for proofs and programs/ Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell.
    Reminder of title: international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
    Author: Miculan, Marino.
    other author: Scagnetto, Ivan.
    Published: Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2008.,
    Description: 203 p. :ill., digital ; : 24 cm.;
    Series: Lecture Notes in Computer Science,
    Contained By: Springer eBooks
    Subject: Symbolic and Algebraic Manipulation. -
    Online resource: http://dx.doi.org/10.1007/978-3-540-68103-8
    ISBN: 9783540681038 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login