Lambda
An edition of Lambda (1990)
calcul, types et modèles
By Jean-Louis Krivine
Publish Date
1990
Publisher
Masson
Language
fre
Pages
176
Description:
subjects: Lambda-calcul