Fernando Yamauti <fgyama...@gmail.com> escreveu: > Oi, > > Será que alguém teria acesso ao paper > > 1 Ladyman, J., Presnell, S.: Identity in Homotopy Type Theory, Part I: > The Justification of Path Induction. Philosophia Mathematica (2015) ?
Coincidência. Eu li esse artigo recentemente. A versão que eu li está disponível em http://philsci-archive.pitt.edu/11079/1/Identity_in_HTT_public.pdf Sem contar o selinho da Oxford University Press, não sei se há muitas diferenças entre a versão acima e a versão oficial. Além das páginas tradicionais, https://homotopytypetheory.org/links/ https://ncatlab.org/nlab/show/homotopy+type+theory#References mais referências interessantes para quem estiver estudando Teoria Homotópica dos Tipos podem ser encontradas no repositório do grupo de estudos que estamos organizando aqui em Tübingen: https://github.com/BinderDavid/HoTT-StudyGroup -- Hermógenes Oliveira -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87wpb1tpz7.fsf%40camelot.oliveira.