Skip to main content

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq

Mehrnoosh Sadrzadeh

Journal
Emerging Trends‚ TPHOLS‚ Rome‚ 2003.
Location
Rome
Series
Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS)
Year
2003