next up previous contents
Nächste Seite: Verallgemeinerung des Lambda-Kalküls Aufwärts: Kurzdarstellung von A++ Vorherige Seite: Weitere Eigenschaften   Inhalt

Ursprung

A++ ist aus dem Lambda-Kalkül von Alonzo Church entstanden.

Der Name A++ ist eine Abkürzung von Abstraktion plus Referenz plus Synthese. Hiermit werden die drei Prinzipien von A++ benannt, die gleichzeitig ihr einziger Inhalt sind.

Diese Prinzipien stellen eine Verallgemeinerung der Grundoperationen des Lambda-Kalküls von Alonzo Church dar.


Unterabschnitte

Georg P. Loczewski 2003-07-18

Impressum und Datenschutz
access counter