EPTCS 53 - TYPES 2009

Tom Hirschowitz (Ed.): Proceedings Types for Proofs and Programs, Revised Selected Papers. EPTCS 53 2009

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3319
- ask others
Andrea Asperti, Enrico Tassi: Superposition as a logical glue. 1-15
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3320
- ask others
Claudio Sacerdoti Coen, Enrico Tassi: Nonuniform Coercions via Unification Hints. 16-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3321
- ask others
Yangyue Feng, Zhaohui Luo: Typed Operational Semantics for Dependent Record Types. 30-46
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3322
- ask others
Freek Wiedijk: Stateless HOL. 47-61