Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E - Struct - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E Add to Reading List Document Date: 2012-06-06 16:05:33 Open Document File Size: 582,60 KB Share Result on Facebook

Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z EAdd to Reading List