Publications

...
• 2004
• 2003
• 2002
• 2001
• 2000
...

• An Intensional Parametric Semantics For Vague Quantifiers
  Lappin S
  Linguistics and Philosophy, Springer Nature vol. 23 (6), 599-620.  
  DOI 10.1023/a:1005638918877
  
  01-12-2000
• The Revolution Confused: A Response To Our Critics
  Lappin S Levine RD Johnson DE
  Natural Language & Linguistic Theory, Springer Nature vol. 18 (4), 873-890.  
  DOI 10.1023/a:1006416625270
  
  01-11-2000
• Topic ... Comment
  Lappin S Levine RD Johnson DE
  Natural Language & Linguistic Theory, Springer Nature vol. 18 (3), 665-671.  
  DOI 10.1023/a:1006474128258
  
  01-08-2000
• Learning Computer Science Through Games and Puzzles
  Curzon P
  Proceedings of C@MDX’00, Research Student’s Conference. 
  01-03-2000
• Reasoning about Order Errors and Interaction
  Curzon P
  Proceedings of C@MDX’00, Research Student’s Conference. 
  01-03-2000
• Embedding and Verification of an MDG-HDL Compiler in HOL
  Xiong H Curzon P Tahar S Aagaard M Harrison J Schubert T
  The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 237-248-237-248.  
  01-01-2000
• Reasoning about Order Errors in Interaction
  Curzon P Blandford A Aagaard M Harrison J Schubert T
  The Supplementary Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics., 33-48-33-48.  
  01-01-2000
• Using a Verification System to Reason About Post-Completion Errors
  Curzon P Blandford A Palanque P Paternò F
  Participants Proc. of DSV-IS 2000: 7th Int.Workshop on Design, Specification and Verification of Interactive Systems, at the 22nd Int. Conf. on Software Engineerings., 292-308-292-308.  
  01-01-2000