To H. B. Curry: essays on combinatory logic, lambda calculus and formalism

To H. B. Curry: essays on combinatory logic, lambda calculus and formalism

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Seldin, Jonathan Paul (BerichterstatterIn), Curry, Haskell B. (GefeierteR), Hindley, James Roger (BerichterstatterIn), Seldin, Jonathan P. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Acad. Press 1980
Schlagworte:
Curry, Haskell B > Festschrift > Lambda-Kalkül > Kombinatorische Logik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Festschrift Haskell B. Curry. - S. XIII - XX Personalbibliographie H. B. Curry
Beschreibung:XXV, 606 S
Ill., graph. Darst
ISBN:0123490502
0-12-349050-2