2021-03-262012-04-01http://hdl.handle.net/10784/27387We 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 inductBirkedalinfo:eu-repo/semantics/bookPart2021-03-26