ERA

Download the full-sized PDF of Applications of Linear Logic to Computation: An OverviewDownload the full-sized PDF

Analytics

Share

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Applications of Linear Logic to Computation: An Overview Open Access

Descriptions

Author or creator
Additional contributors
Subject/Keyword
Linear Logic
applications
Type of item
Computing Science Technical Report
Computing science technical report ID
TR93-18
Language
English
Place
Time
Description
Technical report TR93-18. This paper gives an overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and object-oriented programming and some other applications of LL, like semantics of negation in LP, non-monotonic issues in AI planning, etc. Although the overview covers pretty much the state-of-the-art in this area, by necessity many of the works are only mentioned and referenced, but not discussed in any considerable detail. The paper does not presuppose any previous exposition to LL, and is addressed more to computer scientists (probably with a theoretical inclination) than to logicians. The paper contains over 140 references, of which some 80 are about applications of LL.
Date created
1993
DOI
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-05-01T00:11:23.790+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 694803
Last modified: 2015:10:12 21:08:28-06:00
Filename: TR93-18.pdf
Original checksum: 42904e645d720169fa1c881613662670
Well formed: true
Valid: true
Page count: 31
Activity of users you follow
User Activity Date