Author:
Bruscoli Paola,Guglielmi Alessio
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Gallier, J.: Constructive logics, Part I: A tutorial on proof systems and typed λ-calculi. Theoretical Computer Science 110, 249–339 (1993)
2. Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1969)
3. Miller, D.: Documentation for lambda prolog,
http://lPrologdocs.html
4. Miller, D.: Overview of linear logic programming. In: Ehrhard, T., Girard, J.-Y., Ruet, P., Scott, P. (eds.) Accepted as a chapter for a book on linear logic, Cambridge University Press, Cambridge,
http://papersllp.pdf
http://papersllp.pdf
5. Miller, D.: A multiple-conclusion meta-logic. In: Abramsky, S. (ed.) Ninth Annual IEEE Symp. on Logic in Computer Science, Paris, July 1994, pp. 272–281 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献