Adapting proofs-as-programs : the Curry-Howard protocol /

Na minha lista:

Detalhes bibliográficos
Principais autores:	Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M.
Formato:	Livro
Publicado em:
Assuntos:	Isoformismo (Matemática). Teoria das provas. Lógica simbólica e matemática. Programação funcional (Computação). Cálculo lambda. Tipos abstratos de dados (Computação).
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/102037
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados