Generative Unbinding of Names (2008)

by Andrew M. Pitts , Mark R. Shinwell
Venue:VOL. 4 (1:4) 2008, PP. 1–33 WWW.LMCS-ONLINE.ORG
Citations:4 - 2 self