Krivine,, J. L. Lambda-calculus, types and models / J. L. Krivine ; trad. René Cori

Lambda-calculus, types and models / J. L. Krivine ; trad. René Cori . - Hemel Hampstead : Ellis Horwood, cop. 1993 . - VIII, 180 p. 24 cm . - (Ellis Horwood series in computers and their applications)
0-13-062407-1 (Encadernado)

510.5