Higher type recursion, ramification and polynomial time
Under an Elsevier user license
open archive
MSC
03D15
03D20
68Q15
68Q42
68N15
03F03
03F10
03F35
Keywords
Higher type recursion
Lambda calculus
Normalisation
Ramified recursion
Polynomial time
Cited by (0)
- 1
The author was affiliated with LMU when this paper was written.
Copyright © 2000 Elsevier Science B.V. All rights reserved.