Notes on Recursion Elimination

Bibliographic Details
Main Author: Bird, R
Format: Journal article
Published: 1977