Examinando por Autor "Dybjer, Peter"
Mostrando 1 - 1 de 1
Resultados por página
Opciones de ordenación
Ítem Combining interactive and automatic reasoning in first order theories of functional programs.(Birkedal, 2012-04-01) Bove, Ana; Dybjer, Peter; Sicard Ramírez, AndrésWe propose a new approach to the computer-assisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel?s first order theory of combinatory formal arithmetic with positive induct