The Lambada Calculus - Barendregt H.P. Vezi publicația: Revue Roumaine de Mathematiques Pures et Appliquees Anul publicaţiei: 1992Referinţă bibliografică pentru nr. revistă: xxxvii-1; anul 1992 Paginaţia: 91-91 Navigare în nr. revistă: |< < 30 / 36 > >| Realizatori:  GEORGESCU, George (autor) Descriptori:  Matematică