Delia Kesner, Laurence Puel, Val Tannen. A Typed Pattern Calculus. Inf. Comput., 124(1):32-61, 1996.
@article{KesnerPT96,
title = {A Typed Pattern Calculus},
author = {Delia Kesner and Laurence Puel and Val Tannen},
year = {1996},
researchr = {https://researchr.org/publication/KesnerPT96},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {32-61},
}