Generative Unbinding of Names (2008)
Cached
Download Links
by
Andrew M. Pitts
,
Mark R. Shinwell
| Venue: | VOL. 4 (1:4) 2008, PP. 1–33 WWW.LMCS-ONLINE.ORG |
| Citations: | 4 - 2 self |
BibTeX
@MISC{Pitts08generativeunbinding,
author = {Andrew M. Pitts and Mark R. Shinwell},
title = {Generative Unbinding of Names},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
