Saltar para:
Logótipo
Você está em: Início > Publicações > On principal types of combinators > Visualizar Publicações Relacionadas

Publicações com os mesmos autores da publicação On principal types of combinators

Agrupar Por: Ordenação:

Artigo em Revista Científica Internacional

The decidability of a fragment of BB ' IW-logic
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP); Finger, M (Autor) (Outra); Silva, PSE (Autor) (Outra)
On long normal inhabitants of a type
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)
On combinatory complete sets of proper combinators
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)
Counting a type's principal inhabitants - (Extended abstract)
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)
Counting a type's (principal) inhabitants
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

Artigo em Livro de Atas de Conferência Internacional

Studying provability in implicational intuitionistic logic: The formula tree approach
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)
Resolution of Constraints in Algebras of Rational Trees
Luís Damas (Autor) (FCUP); Nelma Moreira (Autor) (FCUP); Sabine Broda (Autor) (FCUP)
On principal types of BCK-lambda-Terms
Sabine Broda (Autor) (FCUP); Luis Damas (Autor) (FCUP)
A New Translation Algorithm from Lambda Calculus into Combinatory Logic
Sabine Broda (Autor) (FCUP); Luís Damas (Autor) (FCUP)
A context-free grammar representation for normal inhabitants of types in TA¿
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)

Registos 1 a 11 de 11

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-16 às 20:42:01 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico