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

by Steffen 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
Citations:17 - 14 self