DMCA

Curry-style types for nominal rewriting (2006)

by Maribel Fernández , Murdoch J. Gabbay
Citations:6 - 5 self