Isomorphisms of types : from λ-calculus to information retrieval and language design
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764337636
376433763X
9780817637637
081763763X
- Maße
-
25 cm
- Umfang
-
VIII, 235 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
- Schlagwort
-
Information Retrieval
Typisierter Lambda-Kalkül
Funktionale Programmiersprache
Typisierter Lambda-Kalkül
- Ereignis
-
Veröffentlichung
- (wo)
-
Boston, Basel, Berlin
- (wer)
-
Birkhäuser
- (wann)
-
1995
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:23 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Di Cosmo, Roberto
- Birkhäuser
Entstanden
- 1995
Ähnliche Objekte (12)
Polymorphic lambda calculus with context-free session types
Language models, Retrieval evaluation (18.5.2011)
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design
Cross-Language Retrieval for the CLEF Collections
Linguistic knowledge in cross-language information retrieval
Semantics4J - Programming language integrated queries and types
Language games under Knightian uncertainty about types
Language games under Knightian uncertainty about types
Language models and smoothing methods for information retrieval
Translation-based Ranking in Cross-Language Information Retrieval
Expectation-based retrieval and integration in language comprehension
Cross language information retrieval and evaluation : revised papers
Polymorphic lambda calculus with context-free session types
Language models, Retrieval evaluation (18.5.2011)
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design
Cross-Language Retrieval for the CLEF Collections
Linguistic knowledge in cross-language information retrieval
Semantics4J - Programming language integrated queries and types
Language games under Knightian uncertainty about types
Language games under Knightian uncertainty about types
Language models and smoothing methods for information retrieval
Translation-based Ranking in Cross-Language Information Retrieval
Expectation-based retrieval and integration in language comprehension
Cross language information retrieval and evaluation : revised papers
Polymorphic lambda calculus with context-free session types
Language models, Retrieval evaluation (18.5.2011)
A Library of Literals, Expressions, Types, and Statements for Compositional Language Design
Cross-Language Retrieval for the CLEF Collections
Linguistic knowledge in cross-language information retrieval
Semantics4J - Programming language integrated queries and types
Language games under Knightian uncertainty about types
Language games under Knightian uncertainty about types
Language models and smoothing methods for information retrieval
Translation-based Ranking in Cross-Language Information Retrieval
Expectation-based retrieval and integration in language comprehension