Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Modal Linear Logic in Higher Order Logic‚ an experiment in Coq

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

Links

See Also

Back to Top