Go to:
Logótipo
Você está em: Start > Publications > View > A New Translation Algorithm from Lambda Calculus into Combinatory Logic
Map of Premises
Principal
Publication

A New Translation Algorithm from Lambda Calculus into Combinatory Logic

Title
A New Translation Algorithm from Lambda Calculus into Combinatory Logic
Type
Article in International Conference Proceedings Book
Year
1995
Authors
Sabine Broda
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Luís Damas
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Publicação em Scopus Scopus - 0 Citations
Other information
Authenticus ID: P-008-WVX
Abstract (EN): Systems of lambda calculus are of importance for most knowledge representation theories and in particular for several systems for Natural Language Processing. During the implementation of lambda systems several problems arise that are directly related to the presence of bound variables. These problems can be avoided using translations from lambda calculus into combinatory systems, which give origin to extremely simple reduction machines. In this article we present and prove the correctness of a translation algorithm, that., when compared with other systems, has quite good properties in terms of memory space as well as in terms of length of evaluations. © Springer-Verlag Berlin Heidelberg 1995.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 12
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

The decidability of a fragment of BB ' IW-logic (2004)
Article in International Scientific Journal
Broda, S; Damas, L; Finger, M; Silva, PSE
On principal types of combinators (2000)
Article in International Scientific Journal
Broda, S; Damas, L
On long normal inhabitants of a type (2005)
Article in International Scientific Journal
Broda, S; Damas, L
On combinatory complete sets of proper combinators (1997)
Article in International Scientific Journal
Broda, S; Damas, L
Counting a type's principal inhabitants - (Extended abstract) (1999)
Article in International Scientific Journal
Broda, S; Damas, L

See all (11)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-10 at 00:49:15 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book