Sadrzadeh, Mehrnoosh (2003) Modal Linear Logic in Higher Order Logic, an experiment in Coq. Basin, D and Burkhart, W (eds.) Theorem Proving in Higher Order Logics, Rome, Italy. pp. 75-93 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2003
Additional Information:
Event Dates: September 2003
Venue - Dates:
Theorem Proving in Higher Order Logics, Rome, Italy, 2003-09-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261814
URI: http://eprints.soton.ac.uk/id/eprint/261814
PURE UUID: 63efc68e-64c2-41d6-9a3e-2aee36793109
Catalogue record
Date deposited: 25 Jan 2006
Last modified: 14 Mar 2024 06:59
Export record
Contributors
Author:
Mehrnoosh Sadrzadeh
Editor:
D Basin
Editor:
W Burkhart
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.