Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sistema de prova Coq"'
Autor:
Calisto, Bruna Isabel Afonso
Dissertação de mestrado em Matemática e Computação
Os teoremas da standardização são resultados fundamentais da teoria da redução do Cálculo-λ. Estes resultados estabelecem que um termo t reduz para um termo t′ se e só se t reduz
Os teoremas da standardização são resultados fundamentais da teoria da redução do Cálculo-λ. Estes resultados estabelecem que um termo t reduz para um termo t′ se e só se t reduz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::97fe70b5e854c61ed80245ef24b89d10
https://hdl.handle.net/1822/85087
https://hdl.handle.net/1822/85087
