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

Cached

Download Links

by Martin Hofmann
Venue:Annals of Pure and Applied Logic
Citations:21 - 3 self