2006): Pure Pattern Calculus (0)

by C Barry Jay, D Kesner
Venue:In: European Symposium on Programming