A typed pattern calculus (1993)

by V Breazu-Tannen, D Kesner, L Puel
Venue:In Proceedings of the 8th Symposium on Logic in Computer Science LICS’93 (Montreal