Lambda Calculus Characterizations of Poly-Time

Daniel Leivant, Jean-Yves Marion. Lambda Calculus Characterizations of Poly-Time. Fundamenta Informaticae, 19(1/2):167-184, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.