Nominal Lawvere theories (2011)

by Ranald Clouston
Venue:In Proceedings of the 18th International Workshop on Logic, Language, and Information (WoLLIC