University of Oxford Logo University of OxfordDepartment of Computer Science - Home

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

BibTeX

Download  (pdf)

Related pages

People