James Roger Hindley

Œuvres (3)

Couverture : Introduction to combinators and [lambda]-calculus

Introduction to combinators and [lambda]-calculus

1986
Couverture : Basic simple type theory

Basic simple type theory

1997
Couverture : [Lambda]-calculus and combinators

[Lambda]-calculus and combinators

2008