Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Barros, Flávio José Ferro

Mostrando resultados 1 a 2 de 2

Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Moura, Flávio Leonardo Cavalcanti de
Barros, Flávio José Ferro
26-Jan-2011
★★★★★ (0)
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Moura, Flávio Leonardo Cavalcanti de
Barros, Flávio José Ferro
26-Jan-2011
★★★★★ (0)

Mostrando resultados 1 a 2 de 2