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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 15, 1989
Accession Number
ADA218095

Entities

People

  • Gerard Huet

Organizations

  • Institut National de Recherche en Informatique et en Automatique

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Birds
  • Calculus
  • Computations
  • Concrete
  • Confluence
  • Construction
  • Conversion
  • Logic
  • Mathematical Logic
  • Mathematics
  • Notation
  • Standardization
  • Standards
  • Universities