Contribuições do(a) usuário(a) Jpedromc
Aspeto
De Jpedromc discussão registo de bloqueios carregamentos registos global block log conta global registo do filtro de edições
Um utilizador com 12 edições. Conta criada a 26 de abril de 2013.
26 de abril de 2013
- 23h55min23h55min de 26 de abril de 2013 dif his −1 m Isomorfismo de Curry-Howard
- 23h52min23h52min de 26 de abril de 2013 dif his +35 127 Isomorfismo de Curry-Howard
- 23h51min23h51min de 26 de abril de 2013 dif his −126 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard atual
- 23h50min23h50min de 26 de abril de 2013 dif his −316 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 23h49min23h49min de 26 de abril de 2013 dif his −15 278 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 23h47min23h47min de 26 de abril de 2013 dif his +202 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 23h26min23h26min de 26 de abril de 2013 dif his −68 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 23h16min23h16min de 26 de abril de 2013 dif his −72 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 23h05min23h05min de 26 de abril de 2013 dif his +270 Usuário(a):Jpedromc/Isomorfismo de Curry-Howard
- 22h45min22h45min de 26 de abril de 2013 dif his +51 085 N Usuário(a):Jpedromc/Isomorfismo de Curry-Howard nova página: Image:Coq plus comm screenshot.jpg|thumb|300px|Uma prova escrita como um programa funcional: a prova de comutatividade da adição de números naturais no assistente de provas [[C... Etiqueta: Espaçamento excessivo
- 22h22min22h22min de 26 de abril de 2013 dif his +415 Isomorfismo de Curry-Howard →Origem, escopo, e consequências
- 22h13min22h13min de 26 de abril de 2013 dif his +6 650 Isomorfismo de Curry-Howard Começando a traduzir do artigo em inglês