Lambda-calculus, types and models
Jean-Louis Krivine, Rene Corvi (translator)Année:
2011
Edition:
revised
Langue:
english
Pages:
208
Fichier:
PDF, 1.22 MB
IPFS:
,
english, 2011