Pure Pattern Calculus. (2006)

by B Jay, D Kesner
Venue:In ESOP, LNCS 3942,