Avaliações
Nenhuma avaliação ainda
Seja o primeiro a avaliar este livro e compartilhe seus pensamentos
Faça login para Avaliar
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Ainda sem avaliações