nLab Simon John Ambler (changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |

Showing changes from revision #0 to #1: Added | Removed | Changed

Selected writings

On linear logic/linear type theory with categorical semantics in symmetric closed monoidal categories:

  • Simon John Ambler, First Order Linear Logic in Symmetric Monoidal Closed Categories, PhD thesis, Edinburgh (1991) [[ECS-LFCS-92-194](https://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-194), pdf, pdf]

category: people

Created on May 2, 2023 at 07:54:43. See the history of this page for a list of all contributions to it.

EditDiscuss Cite Print Source