A term calculus for (co-)recursive definitions on streamlike data structures (2005)

by W Buchholz
Venue:Ann. Pure Appl. Logic