Andrew Barber

Informações coletadas do Lattes

Acadêmico

Comissão julgadora das bancas

Valeria Correa Vaz de Paiva

DE PAIVA, V.; ABRAMSKY, S.. Linear Type Theories, Semantics and Action Calculi. 1997. Tese (Doutorado em Doutorado) - University of Edinburgh.

Propriedade Intelectual

Patentes (6)