EPTCS 53 - TYPES 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3111
- ask others
Tom Hirschowitz (Ed.): Proceedings Types for Proofs and Programs, Revised Selected Papers. 2009 EPTCS 53 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- 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
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-3322
- ask others
Freek Wiedijk: Stateless HOL. ... 47-61