Overview of linear logic programming

In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--119 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.
Review: F. D. Parker, Boolean Matrices and Logic; Hugh G. Campbell, Linear Algebra with Applications Including Linear Programming. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):614-615.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Harmonic grammar with linear programming: From linear systems to linguistic typology.Christopher Potts, Rajesh Bhatt, Joe Pater & Michael Becker - unknown
Agricultural management using the ADELAIS multiobjective linear programming software: A case application.D. K. Despotis & J. Siskos - 1992 - Theory and Decision 32 (2):113-131.
An application of mathematical logic to the integer linear programming problem.R. D. Lee - 1972 - Notre Dame Journal of Formal Logic 13 (2):279-282.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Logic and programming.Richard Ennals & Jonathan Briggs - unknown
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.

Analytics

Added to PP
2014-01-28

Downloads
59 (#271,632)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.
A categorical semantics for polarized MALL.Masahiro Hamano & Philip Scott - 2007 - Annals of Pure and Applied Logic 145 (3):276-313.
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.

Add more citations

References found in this work

No references found.

Add more references