| |
EATCS Bulletin, Vol. 62 (1997), pp. 222-259.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 69-84.
|
| |
Linguistics and Philosophy, Vol. 25, No. 5. (1 December 2002), pp. 723-753.
|
| |
In Handbook of Logic and Language (1997), pp. 93-177.
|
| |
In Rome Workshop on Linear Logic and Categorical Grammar
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 49-60.
|
| |
Term Rewriting and Applications (2006), pp. 151-165.
|
| |
J. of Discrete Algorithms, Vol. 5, No. 3. (2007), pp. 408-421.
|
| |
Mathematical Structures in Computer Science, Vol. 12, No. 04. (2002), pp. 513-539.
|
| |
In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 81-90.
|
| |
In Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing (2007), pp. 193-200.
|
| |
Bulletin of Symbolic Logic, Vol. 10, No. 3. (September 2004), pp. 305-333.
|
| |
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, Vol. 25, No. 6. (June 1990), pp. 66-77.
|
| |
CONCUR '94: Concurrency Theory (1994), pp. 315-330.
|
| |
In PODC '82: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing (1982), pp. 10-18.
|
| |
In PODS '88: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1988), pp. 61-73.
|
| |
Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 541-554.
|
| |
Logic Jnl IGPL, Vol. 2, No. 2. (1 September 1994), pp. 137-148.
|
| |
|
| |
Logics in AI (1991), pp. 78-96.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 287-295.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
|
| |
Computer Science Logic (1998), pp. 406-423.
|
| |
Logic Programming (2003), pp. 109-127.
|
| |
Logical Methods in Computer Science, Vol. 5, No. 3. (30 July 2009)
|
| |
J. Funct. Program., Vol. 8, No. 2. (1998), pp. 177-193.
|
| |
Automata, Languages and Programming (1992), pp. 685-695.
|
| |
Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57.
|
| |
No. 3591. (December 1998)
|
| |
Mathematical Structures in Computer Science, Vol. 10, No. 02. (2000), pp. 277-312.
|
| |
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on In Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on (1993), pp. 222-232.
|
| |
Programming Languages and Systems (2008), pp. 93-107.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 176, No. 4. (2007), pp. 215-231.
|
| |
Theoretical Computer Science, Vol. 373, No. 3. (5 April 2007), pp. 213-237.
|
| |
Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102.
|
| |
Transactions of the American Mathematical Society, Vol. 146 (1969), pp. 29-60.
|
| |
Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
|
| |
|
| |
Theorem Proving in Higher Order Logics (2003), pp. 120-135.
|
| |
In OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (2009), pp. 557-572.
|
| |
Mathematical Foundations of Programming Semantics (1992), pp. 1-40.
|
| |
Journal of Logic and Algebraic Programming, Vol. 67, No. 1-2. (April 2006), pp. 3-51.
|
| |
In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education (2005), pp. 470-474.
|
| |
|
| |
In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 32-42.
|
| |
Parallel Processing, 2008. ICPP '08. 37th International Conference on (16 September 2008), pp. 536-545.
|
| |
The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230.
|
| |
In Advances in Neural Information Processing Systems, Vol. 15 (2003)
|
CiteULike
robertjohnsimmons's CiteULike
Search
