Abstract syntax and variable binding

This publication has 19 references indexed in Scilit:

• Towards a mathematical operational semantics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Relational treatment of term graphs with bound variables
  Logic Journal of the IGPL, 1998
• Primitive recursion for higher-order abstract syntax
  Lecture Notes in Computer Science, 1997
• Axiomatic Domain Theory in Categories of Partial Maps
  Published by Cambridge University Press (CUP) ,1996
• On clubs and data-type constructors
  Published by Cambridge University Press (CUP) ,1992
• Substitution revisited
  Theoretical Computer Science, 1988
• Higher-order abstract syntax
  Published by Association for Computing Machinery (ACM) ,1988
• Foncteurs analytiques et espèces de structures
  Published by Springer Nature ,1986
• An abstract approach to coherence
  Lecture Notes in Mathematics, 1972
• The lattice of flow diagrams
  Published by Springer Nature ,1971