A Typed Pattern Calculus

Delia Kesner, Laurence Puel, Val Tannen. A Typed Pattern Calculus. Inf. Comput., 124(1):32-61, 1996.

Abstract

Abstract is missing.