Cover von Dependent type theory meets practical programming; 1 opens in new tab

Dependent type theory meets practical programming; 1

special issue : S. 1-128
Search for this author
Year: 2004
Publisher: Cambridge, Cambridge University Press
Count: 1
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: BARTHE GILLES Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2004
Publisher: Cambridge, Cambridge University Press
Works included: Dagstuhl Seminar 01341
opens in new tab
Search for this systematic
Search for this subject type
Volume: 14
Count: 1
Participating parties: Search for this character Barthe, Gilles; Dybjer, Peter; Thiemann, Peter
Media group: SPECIAL ISSUE