Safe recursion with higher types and BCK-algebra (0)

by M Hofmann
Venue:In Annals of Pure and Applied Logic