Muito obrigado! Em 3 de abril de 2017 13:28, Hermógenes Oliveira < hermogenes.olive...@student.uni-tuebingen.de> escreveu:
> 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. > -- 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/CAJGvw-3gB634mxKewjO5gmpbkmy8xooig7i26cXnEpnCWRSf7w%40mail.gmail.com.
