Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
Mehrnoosh Sadrzadeh
Details
| Journal |
Emerging Trends‚ TPHOLS‚ Rome‚ 2003. |
| Location |
Rome |
| Series |
Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS) |
| Year |
2003 |
Links
Related pages
|
People |