Avaliações
Nenhuma avaliação ainda
Seja o primeiro a avaliar este livro e compartilhe seus pensamentos
Faça login para Avaliar
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Ainda sem avaliações