P. Callaghan dcs0pcc@durham.ac.uk
Editor
Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000
Contributors
Z. Luo
Editor
J. McKinna
Editor
R. Pollack
Editor
Citation
Callaghan, P., Luo, Z., McKinna, J., & Pollack, R. (Eds.). (2002). Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000. Springer Verlag. https://doi.org/10.1007/3-540-45842-5
| Book Type | Edited Book |
|---|---|
| Publication Date | 2002 |
| Deposit Date | Oct 30, 2008 |
| Publisher | Springer Verlag |
| Series Title | Lecture notes in computer science |
| Series Number | 2277 |
| DOI | https://doi.org/10.1007/3-540-45842-5 |
| Public URL | https://durham-repository.worktribe.com/output/1133396 |
| Publisher URL | http://springerlink.com/content/l42efrw4m88h/?p=2ade4b9761fb4b5d9578979ecf1422a0&pi=9 |
| Additional Information | Vol. 2277. |
You might also like
LFTOP : an LF-based approach to domain-specific reasoning
(2005)
Journal Article
An implementation of LF with coercive subtyping & universes
(2001)
Journal Article
Object languages in a type-theoretic meta-framework
(2001)
Presentation / Conference Contribution
Modular and efficient top-down parsing for ambiguous left-recursive grammars
(2007)
Presentation / Conference Contribution
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search