|
|
Modal Linear Logic in Higher Order Logic, an experiment in Coq
Mehrnoosh Sadrzadeh infojournal | Emerging Trends, TPHOLS, Rome, 2003. |
location | Rome |
series | Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS) |
year | 2003 |
links
BibTeX
related pages
|
|
|
|
