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