[isabelle] Recursion theory in Isabelle-HOL



Hi all,

Are there formalization in Isabelle (HOL) of the following basic theorems of 
recursion theory?
*  existence of universal partial recursive function
* s-m-n theorem

Regards,
Michael Nedzelsky








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.