Semantics and axlomatlcs of a simple recurslve language (1974)

by J VUILLEMIN
Venue:Proc Sixth Annual ACM Symp Theory of Comptg