Cover von Basic simple type theory opens in new tab

Basic simple type theory

Author: Search for this author Hindley, James Roger
Statement of Responsibility: James Roger Hindley
Year: 1997
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 42
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: HINDLEY JAMES ROGER Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Author: Search for this author Hindley, James Roger
Statement of Responsibility: James Roger Hindley
Year: 1997
Publisher: Cambridge, Cambridge University Press
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-521-46518-4
Description: XI, 186 S.
Series: Cambridge tracts in theoretical computer science; 42
Search for this character
Media group: MONOGRAPHIE