Combinatory logic: pure, applied and typed
Auteur :
Bimbó, Katalin
Éditeur :
Taylor & Francis Ltd
ISBN :
9781032921181
Date de publication :
14 oct. 2024
Dimensions :
23,4 x 15,6 cm
Poids :
660 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working k