Voltar aos Detalhes do Artigo
A Mechanized Formalization of MicroKanren in Agda
Baixar
##common.downloadPdf##