A calculus of circular proofs and its categorical semantics (2002)
by
Luigi Santocanale
| Venue: | |
| Citations: | 13 - 4 self |
BibTeX
@INPROCEEDINGS{Santocanale02acalculus,
author = {Luigi Santocanale},
title = {A calculus of circular proofs and its categorical semantics},
booktitle = { },
year = {2002},
pages = {357--371},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
