A type-theoretic framework for formal reasoning with different logical foundations (2006)
by
Zhaohui Luo
| Venue: | Proc of the 11th Annual Asian Computing Science Conference |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Luo06atype-theoretic,
author = {Zhaohui Luo},
title = {A type-theoretic framework for formal reasoning with different logical foundations},
booktitle = {Proc of the 11th Annual Asian Computing Science Conference},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
different logical foundations
