TY  - BOOK
AU  - Callaghan,Paul
ED  - Europäische Kommission
ED  - TYPES
TI  - Types for proofs and programs: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group]
T2  - Lecture notes in computer science
SN  - 3540432876
AV  - QA76.9.A96 
PY  - 2002///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer programming
KW  - Type theory
KW  - Beweistheorie
KW  - Programmierung
KW  - Reduktionssystem
KW  - Typentheorie
KW  - Typsystem
KW  - Konferenzschrift
KW  - 2000
KW  - Durham
KW  - gnd-content
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz097269336inh.htm
UR  - https://swbplus.bsz-bw.de/bsz097269336kap.htm
UR  - https://swbplus.bsz-bw.de/bsz097269336cov.jpg
UR  - https://zbmath.org/?q=an:0988.00060
UR  - http://www.loc.gov/catdir/enhancements/fy0817/2002022188-d.html
ER  -