Isomorphisms of types : from lambda-calculus to information retrieval and language design

Isomorphisms of types from lambda-calculus to information retrieval and language design

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Di Cosmo, Roberto (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston u.a. Birkhäuser 1995
Schriftenreihe:Progress in theoretical computer science
Schlagworte:
Information Retrieval > Typisierter Lambda-Kalkül > Funktionale Programmiersprache
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VIII, 235 S.
ISBN:376433763X
3-7643-3763-X
081763763X
0-8176-3763-X