Accession Number:

ADA218095

Title:

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

Descriptive Note:

Corporate Author:

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

Personal Author(s):

Report Date:

1989-07-15

Pagination or Media Count:

77.0

Abstract:

Subject Categories:

  • Numerical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE