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

by S van Bakel
Venue:Proceedings of TLCA ’93. International Conference on Typed Lambda Calculi and Applications, Utrecht, The Netherlands, volume 664 of Lecture Notes in Computer Science