Types for Proofs and Programs
Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
Types for Proofs and Programs - 2009
978-3-642-02444-3
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Symbolic and Algebraic Manipulation
Programming Languages, Compilers, Interpreters
Computer Science
Types for Proofs and Programs - 2009
978-3-642-02444-3
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Symbolic and Algebraic Manipulation
Programming Languages, Compilers, Interpreters
Computer Science