Lambda calculi: a guide for computer scientists
Auteur :
Hankin
Éditeur :
Oxford University Press
ISBN :
9780198538400
Date de publication :
13 oct. 1994
Dimensions :
24,1 x 15,4 x 1,0 cm
Poids :
282 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design. This text, written from a systems perspective, emphasizes the practical relevance of its key theoretical ideas.