Jan Terlouw: On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. (1982)
journals/jsyml/Terlouw82
10.2307/2273149
On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising.
1
395-402
J. Symb. Log.
J. Symb. Log.
47
2
1982
provenance information for RDF data of dblp record 'journals/jsyml/Terlouw82'
2017-05-28T13:21:56+0200