Inverting Inductively Defined Relations in LEGO (1998)
by
Conor McBride
| Venue: | TYPES FOR PROOFS AND PROGRAMS, ’96, VOLUME 1512 OF LNCS |
| Citations: | 7 - 3 self |
BibTeX
@INPROCEEDINGS{McBride98invertinginductively,
author = {Conor McBride},
title = {Inverting Inductively Defined Relations in LEGO },
booktitle = {TYPES FOR PROOFS AND PROGRAMS, ’96, VOLUME 1512 OF LNCS},
year = {1998},
pages = {236--253},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
