Typing and convergence in the lambda calculus

2001-01-01T00:00:00Z (GMT) by Daniel Leivant
Computer Science Department