Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!corton!inria!seti!margaux.inria.fr!ddr
From: ddr@margaux.inria.fr (Daniel de Rauglaudre)
Newsgroups: comp.lang.functional
Subject: why lambda ?
Message-ID: <1952@seti.inria.fr>
Date: 22 Feb 91 12:38:57 GMT
Sender: news@seti.inria.fr
Organization: INRIA Rocquencourt France
Lines: 7

There is a question of great importance in our institute: why "lambda"
in "lambda calculus" ? Why not "alpha" or "dzeta" or any other symbol ?
Does anybody know the origin of this choice ? Thank you for you answers.

	Daniel de Rauglaudre
	INRIA - France
	ddr@inria.inria.fr