J.S. Hodas: Documentation of the Release 0.7 of Lolli, available by anonymous ftp from ftp.cis.upenn.edu, directory /pub/Lolli. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modal Event Calculus in Lolli - Cervesato, Chittaro, Montanari (1994) (2 citations) (Correct)
....the expressiveness of the language [14] The language lProlog is a realization of this idea in a simply typed higher order setting [13, 15] lProlog stems from intuitionistic predicate logic. However, uniform proofs are a general concept in proof theory. The logic programming language Lolli [6, 7] is the result of applying this criterion to linear logic [5] The short space available forbids us to give a detailed account of linear logic and to present a complete description of Lolli. The interested reader is invited to read the above mentioned references. We intend instead to illustrate ....
J.S. Hodas: Documentation of the Release 0.7 of Lolli, available by anonymous ftp from ftp.cis.upenn.edu, directory /pub/Lolli.
Modal Event Calculus in Lolli - Iliano Cervesato Luca (Correct)
No context found.
J.S. Hodas: Documentation of the Release 0.7 of Lolli, available by anonymous ftp from ftp.cis.upenn.edu, directory /pub/Lolli.
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