- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j3 |      | Paul Callaghan: Coercive Subtyping via Mappings of Reduction Behaviour. Electr. Notes Theor. Comput. Sci. 196: 53-68 (2008) |
| c4 | | Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan: Parser Combinators for Ambiguous Left-Recursive Grammars. PADL 2008: 167-181 |
| 2005 | ||
| j2 | | Jian-Min Pang, Paul Callaghan, Zhaohui Luo: LFTOP: An LF-Based Approach to Domain-Specific Reasoning. J. Comput. Sci. Technol. 20(4): 526-535 (2005) |
| 2002 | ||
| e1 |  | Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Lecture Notes in Computer Science 2277, Springer 2002, isbn 3-540-43287-6 |
| 2001 | ||
| j1 | | Paul Callaghan, Zhaohui Luo: An Implementation of LF with Coercive Subtyping & Universes. J. Autom. Reasoning 27(1): 3-27 (2001) |
| 1999 | ||
| c3 | | Paul Callaghan, Zhaohui Luo: Implementation Techniques for Inductive Types in Plastic. TYPES 1999: 94-113 |
| 1997 | ||
| c2 | | Zhaohui Luo, Paul Callaghan: Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. LACL 1997: 231-250 |
| 1995 | ||
| c1 | | Richard G. Morgan, Roberto Garigliano, Paul Callaghan, Sanjay Poria, Mark Smith, Chris Cooper: University of Durham: description of the LOLITA system as used in MUC-6. MUC 1995: 71-85 |
| 1 | Chris Cooper | |
| 2 | Richard A. Frost | |
| 3 | Roberto Garigliano | |
| 4 | Rahmatullah Hafiz | |
| 5 | Zhaohui Luo | |
| 6 | James McKinna | |
| 7 | Richard G. Morgan | |
| 8 | Jian-Min Pang | |
| 9 | Robert Pollack | |
| 10 | Sanjay Poria | |
| 11 | Mark Smith |
Colors in the list of coauthors
Last update Tue May 21 05:06:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page