Cover von Lambda-calculus and logic opens in new tab

Lambda-calculus and logic

special issue in honour of Roger Hindley
Search for this author
Year: 1999
Publisher: Cambridge, Cambridge University Press
Series: Mathematical structures in computer science : 9. 1999, 4
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Search for this author
Year: 1999
Publisher: Cambridge, Cambridge University Press
opens in new tab
Search for this systematic
Search for this subject type
Description: S. 321 - 522
Series: Mathematical structures in computer science : 9. 1999, 4
Participating parties: Search for this character Hindley, James Roger; Dezani-Ciancaglini, Mariangiola; Longo, Giuseppe; Seldin, Jonathan P.
Media group: SPECIAL ISSUE