| 12141 |
Creator |
2515c15e5a8e5ef71a6e3a3c05d159fc |
| 12141 |
Date |
2006 |
| 12141 |
Is Part Of |
repository |
| 12141 |
abstract |
This paper introduces the Alligator theorem prover for Dependent Type Systems (DTS).
We start with highlighting a number of properties of DTS that make them specifically
suited for computational semantics. We then briefly introduce dts and our implementation.
The paper concludes with an example of a DTS proof that illustrates the suitability
of DTS for modelling anaphora resolution. |
| 12141 |
authorList |
authors |
| 12141 |
presentedAt |
ext-70ed579c188e8167fcf34ca84ccd948c |
| 12141 |
status |
peerReviewed |
| 12141 |
uri |
http://data.open.ac.uk/oro/document/16776 |
| 12141 |
uri |
http://data.open.ac.uk/oro/document/18287 |
| 12141 |
uri |
http://data.open.ac.uk/oro/document/1830 |
| 12141 |
uri |
http://data.open.ac.uk/oro/document/8755 |
| 12141 |
type |
AcademicArticle |
| 12141 |
type |
Article |
| 12141 |
label |
Piwek, Paul (2006). The ALLIGATOR Theorem Prover for Dependent Type Systems:
Description and Proof Sample. In: Proceedings of the 5th Workshop on Inference in
Computational Semantics (ICoS-5), 20-21 Apr 2006, Buxton, UK. |
| 12141 |
label |
Piwek, Paul (2006). The ALLIGATOR Theorem Prover for Dependent Type Systems: Description
and Proof Sample. In: Proceedings of the 5th Workshop on Inference in Computational
Semantics (ICoS-5), 20-21 Apr 2006, Buxton, UK. |
| 12141 |
Title |
The ALLIGATOR Theorem Prover for Dependent Type Systems: Description and Proof Sample |
| 12141 |
in dataset |
oro |