The calculi of Lambda Conversion


CHURCH AlonzoTitre de l'ouvrage :The calculi of Lambda Conversion Publication : Princeton - University Press - 1941
SFT N° 305Note édition :In : "Annals of Mathematics Studies", 6, 1941, 77 p.Note sujet :"Calcul de la lambda-conversion". - Invention du lambda-calcul, le 1er langage de programmation fonctionnel Thème :MathématiquesMots clés :Informatique ; Lambda-calcul
Localisation :
Paris, Institut Henri Poincaré, 286 3
London, British Library, 1043.010000 v 6

Ajouter un commentaire