Pure Pattern Calculus à la de Bruijn
Article in Electronic Notes in Theoretical Computer Science (September 2020)
The most recent citing publications are shown below. View all 23 publications that cite this research output on Dimensions.
Article in Electronic Notes in Theoretical Computer Science (September 2020)
Book chapter (January 2020)
Book chapter (January 2020)