Palestra com o professor Alexis Saurin PPS/Paris-França
From Natural Deduction to Lambda Calculus
From Natural Deduction to Lambda Calculus
Quinta-feira, sala 4094, 18h
quarta-feira, 20 de outubro de 2010
Assinar:
Postar comentários (Atom)
abilio.arf@gmail.com
Nenhum comentário:
Postar um comentário