Media type: Book Title: Basic simple type theory Contributor: Hindley, James Roger [Author] imprint: Cambridge [u.a.]: Cambridge University Press, 1997 Published in: Cambridge tracts in theoretical computer science ; 42 Issue: 1. publ. Extent: XI, 186 S.; graph. Darst Language: English ISBN: 0521465184 RVK notation: ST 130 : Allgemeines Keywords: Typentheorie Typentheorie Origination: Footnote: Literaturverz. S. 169 - 176
Departmental Library DrePunct – open access area Shelf-mark: ST 130 H462 Item ID: 31562748 Status: Loanable