Joshua S. Hodas  Home/Search
Context
Related
| hmc.edu/~hodas/papers/lppl92.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: hmc.edu/~hodas/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paperappears in the proceedings of the 1992 Workshop on the Prolog Programming Language. The entire proceedings is available electronically at http://www.cis.upenn.edu/~dale/lProlog/workshop92.html. then the proof of the goal off \Gammaffi toggle(G) might proceed as follows: \Gamma; off \Gamma! off (Update)
Active bibliography (related documents): More All
0.0: Modularity In Logic Programming - Bugliesi, Lamma, Mello (1993) (Correct)
0.0: Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
0.0: The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1992) (Correct)
Similar documents based on text: More All
0.6: Don't Click - Paint! Using Toggle Maps to Manipulate Sets of.. - Baudisch (1998) (Correct)
0.3: Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
0.3: Intuitionistic Implication and Resolution - Hui-Bon-Hoa (Correct)
BibTeX entry: (Update)
@inproceedings{ hodas92lolli,
author = "J. S. Hodas",
title = "Lolli: An Extension of $\lambda${P}rolog with Linear Context Management",
booktitle = "Workshop on the $\lambda$Prolog Programming Language",
address = "Philadelphia, Pennsylvania",
editor = "D. Miller",
pages = "159--168",
year = "1992",
url = "citeseer.ist.psu.edu/hodas92lolli.html" }
Citations (may not include all citations):257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1992 ACM DBLP
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
215 Theoretical Computer Science (context) - Girard - 1987 ACM
31 A semi-functional implementation of a higher-order logic pro.. - Elliott, Pfenning - 1991
20 Representing objects in a logic programming language with sc.. - Hodas, Miller - 1990 ACM
1 Implementing Gap Threading Parsers in a Linear-Logic Program.. (context) - Hodas - 1992
Documents on the same site (http://www.cs.hmc.edu/~hodas/papers/): More
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (Correct)
Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC