Partial Intersection Type Assignment in Applicative Term Rewriting Systems (1993)

by S van Bakel
Venue:In Proceedings of TLCA ’93. International Conference on Typed Lambda Calculi and Applications, Utrecht, the Netherlands, volume 664 of LNCS