A Typed Pattern Calculus (1996)

by D Kesner, L Puel, V Tannen
Venue:Combinatory Reduction Systems: Introduction and Survey. Theoretical Computer Science