Accession Number : ADA218095


Title :   Initiation au Lambda-Calcul (An Initiation into Lambda Calculus)


Corporate Author : INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE ROCQUENCOURT (FRANCE)


Personal Author(s) : Huet, Gerard


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a218095.pdf


Report Date : 15 Jul 1989


Pagination or Media Count : 77


Descriptors :   *CALCULUS , SERIES(MATHEMATICS) , FRANCE


Subject Categories : Numerical Mathematics


Distribution Statement : APPROVED FOR PUBLIC RELEASE