1 paper · 1 filter
Jonathan Sterling, Darin Morrison
The contribution of this paper is the development of the syntax and semantics of multi-sorted nominal abstract binding trees (abts), an extension of second order universal algebra…