Document detail Share Find the document in other resources ???scheda.servizi.button??? Copia link The permalink has been copied, you can use it immediately.Just press Ctrl+v keys to put it where you prefer. Twitter The lambda calculus : its syntax and semantics / H. P. Barendregt. - Rev. ed. - Amsterdam [etc.] : North-Holland, 1984. - XV, 621 p. ; 22 cm Barendregt, Hendrik Pieter Testo a stampa (moderno) 1984 Write a review and share it with other readers. Find it at Details $currentBibFull Choose a library Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Matematica G. Castelnuovo Ricerca sociale, informatica e comunicazione - Sede Informatica All libraries https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00452300?locale=eng
