Pure Pattern Calculus
2006 ◽
pp. 100-114
◽