Applications of Linear Logic to Computation: An Overview (Q4318165)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Applications of Linear Logic to Computation: An Overview |
scientific article; zbMATH DE number 706782
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applications of Linear Logic to Computation: An Overview |
scientific article; zbMATH DE number 706782 |
Statements
Applications of Linear Logic to Computation: An Overview (English)
0 references
2 January 1995
0 references
survey
0 references
applications of linear logic to computation
0 references
functional programming
0 references
logic programming
0 references
concurrent and object-oriented programming
0 references
semantics of negation
0 references
non-monotonic issues in AI planning
0 references