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!

Keine Ergebnisse!