Subject
General Computer Science,Theoretical Computer Science
Reference7 articles.
1. Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. “A concurrent logical framework I: Judgments and properties”. Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University, 2002
2. Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. “A concurrent logical framework II: Examples and applications”. Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University, 2002
3. Monadic concurrent linear logic programming;López,2005
4. Andrew McCreight and Carsten Schürmann. “A Meta-Linear Logical Framework”. Proceedings of Logical Frameworks and Meta Languages, July 2004
5. Frank Pfenning and Carsten Schürmann. “System description: Twelf — a meta-logical framework for deductive systems”. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, June 1999. H. Ganzinger, Ed. Lecture Notes In Computer Science, vol. 1632. Springer-Verlag, London, 202–206