- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 4th International Workshop on Inference in Computational Semantics(ICoS-4), Nancy, France, 25-26 Sept.2003
- Classification
-
Informatik
- Keyword
-
Lambda Terms
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2004
- Creator
-
Niehren, Joachim
Villaret, Mateu
- URN
-
urn:nbn:de:bsz:291-scidok-2771
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Niehren, Joachim
- Villaret, Mateu
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2004
Other Objects (12)
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing
On generic context lemmas for lambda calculi with sharing
German unification in the European context
Nominal unification with atom and context variables
A decision algorithm for stratified context unification
Unification in a Sorted (lambda)-Calculus with Term Declarations and Function Sorts
Polymorphic lambda calculus with context-free session types
Carbon pricing under binding political constraints
Verifying binding constraints for anaphor resolution
An optimised decision algorithm for stratified context unification
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading
Scope and situation binding in LTAG using semantic unification
On generic context lemmas for lambda calculi with sharing