Kooperativer Bibliotheksverbund

UID:

Format: VIII, 330 Seiten , graph. Darst. , 24 cm

ISBN: 354014031X

Series Statement: Lecture notes in computer science 2646

Note: Literaturangaben , Text engl.

Language: English

Keywords: Typentheorie ; Kongress ; Berg-en-Dal 〈2002〉 ; Typsystem ; Kongress ; Berg-en-Dal 〈2002〉 ; Beweistheorie ; Typentheorie ; Kongress ; Berg-en-Dal 〈2002〉 ; Programmierung ; Typentheorie ; Kongress ; Berg-en-Dal 〈2002〉 ; Reduktionssystem ; Typentheorie ; Kongress ; Berg-en-Dal 〈2002〉 ; Kongress ; Konferenzschrift