why lambda ?

Article View: comp.lang.functional

Article #806

Back to comp.lang.functional Previous Next

#806

From: Daniel de Rauglaudre
Date: Fri, 22 Feb 1991 12:38

7 lines
654 bytes

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

Technical Details

Message-ID: <1952@seti.inria.fr>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!corton!inria!seti!margaux.inria.fr!ddr

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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