quarta-feira, 20 de outubro de 2010

Palestra - From Natural Deduction to Lambda Calculus

Palestra com o professor Alexis Saurin PPS/Paris-França

From Natural Deduction to Lambda Calculus

Quinta-feira, sala 4094, 18h

Nenhum comentário:

Postar um comentário