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 14
Schlagworte:	Information Retrieval > Typisierter Lambda-Kalkül > Funktionale Programmiersprache
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!