Aviso: Se está a ler esta mensagem, provavelmente o browser que utiliza não é compatível com os "standards" recomendados pela W3C.
Sugerimos que actualize o browser para ter uma melhor experiência de utilização.
Mais informações em webstandards.org

 
PT 
 EN
_
ad
 
A FCUP
ALUNOS
ENSINO
INVESTIGAÇÃO
DEPARTAMENTOS
PESSOAS
SERVIÇOS
CONTACTOS
INFOCIÊNCIAS
24 OUTUBRO / TERÇA
12:12
[‹‹]Voltar

António Mário da Silva Marcos Florido

Publicações

Existem 11 publicações. ( mostrar todas )
 1  2  | Seguintes | >>
[1] Artigo em Actas de Conferência

António M. S. M. Florido, Ian Mackie, Maribel Fernandez, Sandra Alves

The Power of Closed Reduction Strategies

Proc. of The Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)
2006

[2] Artigo em Actas de Conferência

António M. S. M. Florido, Sandra Alves, Maribel Fernandez, Ian Mackie

The Power of Linear Functions

Proc. of Computer Science Logic (CSL 2006)
Springer Verlag,
2006

[3] Artigo em Actas de Conferência

Jorge Coelho, António M. S. M. Florido

Unification with Flexible Arity Symbols: a Typed Approach

Proc. of the 20th International Workshop on Unification (UNIF 2006)
2006

[4] Artigo em Actas de Conferência

António M. S. M. Florido, Jorge Coelho

VeriFlog: Constraint Logic Programming Applied to Verification of Website Content

Proc. of the International Workshop in XML Research and Applications (XRA 2006)
Springer Verlag,
2006

[5] Artigo em Revista

Sandra Alves, António M. S. M. Florido

Weak Linearization of the Lambda Calculus

Theoretical Computer Science, Vol.342,
Nr.1, Pages 79-103, 2005

[6] Artigo em Revista

António M. S. M. Florido, Luís M. M. Damas

Linearization of the Lambda-Calculus and its Relation with Intersection Type Systems

Journal of Functional Programming, Vol.14,
Nr.5, 2004

e-LEARNING
AUTENTICAÇÃO
QUICKLINKS
Webmail
Cooperação Internacional
Centro Informática
Biblioteca
Bolsa Emprego
Como chegar à FCUP?
FUNDO ANTIGO
NOTÍCIAS
GALERIA IMAGENS
SAÚDE E BEM-ESTAR
LINHA SOS - UP
AEFCUP
FCUP 2017