Beatrice Amrhein
-
Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice