Abstract syntax and variable binding (extended abstract (1999)

Cached

Download Links

by Marcelo Fiore , Gordon Plotkin , Daniele Turi
Venue:In Proc. 14 th LICS
Citations:21 - 0 self