Logic programming in a fragment of intuitionistic linear logic
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- A framework for defining logicsJournal of the ACM, 1993
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as RulesJournal of Logic and Computation, 1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Multicategories revisitedContemporary Mathematics, 1989
- Towards a geometry of interactionContemporary Mathematics, 1989
- Clausal intuitionistic logic I. fixed-point semanticsThe Journal of Logic Programming, 1988
- Partial polymorphic type inference and higher-order unificationPublished by Association for Computing Machinery (ACM) ,1988
- Linear logicTheoretical Computer Science, 1987
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958