Search results

• Rewriting Formalisms With Binding Support: Comparing Combinatory Reduction Systems and Nominal Rewrite Systems with Atom Substitution

  Dominguez, J. (Author), Fernandez, M. I. (Supervisor) & Urban, C. (Supervisor), 2017

  Student thesis: Doctoral Thesis › Doctor of Philosophy