Growing a language in pattern calculus (2013)

by Barry Jay, Jose Vergara
Venue:In Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on