search result

Cover von Basic simple type theory
Author: Hindley, James Roger Search for this author
Year: 1997
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 42
Media group: MONOGRAPHIE
Cover von Indroduction to combinators and lambda-calculus
Author: Hindley, James Roger; Seldin, Jonathan P. Search for this author
Year: 1990
Publisher: Cambridge, Cambridge University Press
Series: London Mathematical Society student texts; 1
Media group: MONOGRAPHIE
Cover von Introduction to combinatory logic
Author: Hindley, James Roger; Lerdorf, Rasmus; Seldin, Jonathan P. Search for this author
Year: 1972
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Volume 2.; Combinatory logic
Author: Curry, Haskell Brooks; Hindley, James Roger; Seldin, Jonathan P. Search for this author
Year: 1972
Publisher: Amsterdam, North-Holland
Combinatory logic
Volume: Volume 2.
Series: Studies in logic and the foundations of mathematics; 65
Media group: MONOGRAPHIE
Cover von Typed lambda calculi and applications
third international conference on typed lambda calculi and applications : Nancy, France, April 2 - 4, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1210
Media group: MONOGRAPHIE
Cover von 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
OPEN V 11.1.0.0