Recursion-Theory-I

CPair

PRecFun

PRecList

PRecFun2

PRecFinSet

PRecUnGr

RecEnSet