Under Consideration for Publication in Formal Aspects of Computing Disciplined, Efficient, Generalised Folds for Nested Datatypes

By Clare E. Martin, J. Gibbons, Ian Bayley

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “This concludes our study of the category of substitution systems associated to a signature.”