Lisp

Univ. of Bath

The youtoo system is a public domain implementation of the object-oriented dynamic programming language EuLisp.

is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

The Kenzo program is the last version (16000 Lisp lines, July 1998) of the CAT (= Constructive Algebraic Topology) computer program.

These web pages provide a practical introduction to lambda reduction, with a few pointers to more esoteric issues.

MACSYMA (Project MAC's SYmbolic MAnipulation System) is a large computer algebra system for symbolic and numerical computations.

MAXIMA is a GCL (GNU Common Lisp) implementation.

MACSYMA

Xbvl est le dialecte Lisp utilisé à l'Université Paris 8

Chaitin

Matthew Paul Johnson

Peter Selinger

If your browser is HTML4.0-compliant, you should see a lower-case Greek lambda in between these quoatation marks: "?". Known to work: Internet Explorer 5.5, 6+; Netscape 6+. Known NOT to work: Netscape 4.77 and lower; Konqueror; Opera 5

G.J. Chaitin, IBM Research.

21 Février 2002 Jean-Paul Baquiast et Christophe Jacquemin

Dans un dossier se voulant explosif (peut-être l'une des plus importantes découvertes de tous les temps), la revue Science et Vie n° 1013 de février 2002 présente au grand public ce qui pourrait être, selon les auteurs, une révolution conceptuelle de première grandeur. Il s'agit d'une hypothèse (ou d'une théorie) proposée par le logicien et mathématicien français Jean-Louis Krivine, selon laquelle les couches fonctionnelles logiques de base du cerveau, juste au dessus de l'architecture physique des neurones, parleraient un langage proche ou analogue au lambda-calcul.

Colin Allen - Maneesh Dhagat

LaTeX, DVI, PS, and HTML versions

David S. Touretzky

ENST de Bretagne André Brouty

Jean Goubault-Larrecq 02 août 1999

Emacs ...

Harald Wertz

Il s'agit d'une version pour VLISP, le noyau du système LISP xbvl qui tourne à l'Université Paris 8.