0 | -- | 0 | John W. Lloyd. Programming in an Integrated Functional and Logic Language |
0 | -- | 0 | Gopalan Nadathur. A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations |
0 | -- | 0 | Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing. Semantic Matching for Left-Linear Convergent Rewrite Systems |
0 | -- | 0 | Davide Aliffi, Agostino Dovier, Gianfranco Rossi. From Set to Hyperset Unification |
0 | -- | 0 | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries. Meaningless Terms in Rewriting |