On principal types of BCK-lambda-Terms

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2007

Autores

Sabine Broda (Autor) FCUP; Luis Damas (Autor) FCUP

Ata de Conferência Internacional

Título: Logic, Language, Information and Computation, Proceedings

Páginas: 120-130

14th International Workshop on Logic, Language, Information and Computation

Rio de Janeiro, BRAZIL, JUL 02-05, 2007

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-004-DV9

DOI: 10.1007/978-3-540-73445-1_9

Abstract (EN): Condensed BCK-logic, i.e. the set of BCK-theorems provable by the condensed detachment rule of Carew Meredith, has been shown to be exactly the set of principal types of BCK-lambda-terms. In 1993 Sachio Hirokawa gave a characterization of the set of principal types of BCK-A-terms in beta-normal form based on a relevance relation that he defined between the type variables in a type. We define a symmetric notion of this and call it dependence relation. Then, using the notion of,beta(s)-reduction introduced by de Groote, we obtain a characterization of the complete set of principal types of BCK-lambda-terms.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 11