Regular Systems in lambda-Calculus

Adolfo Piperno, Enrico Tronci. Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci., 1(3):325-340, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.