S

SystemFtoBarRecursion

Implementations of an interpretation of system F through bar recursion