Pure pattern calculus, Programming languages and systems (2006)

by Barry Jay, Delia Kesner
Venue:15th European symposium on programming, ESOP 2006 (P. Sestoft, editor), LNCS