Contribuições do(a) usuário(a) Luis.gabriel.lima
Aspeto
De Luis.gabriel.lima discussão registo de bloqueios carregamentos registos global block log conta global registo do filtro de edições
Um utilizador com 33 edições. Conta criada a 1 de outubro de 2011.
12 de dezembro de 2011
- 23h02min23h02min de 12 de dezembro de 2011 dif his +383 Cálculo lambda simplesmente tipado →Resultados importantes
- 22h57min22h57min de 12 de dezembro de 2011 dif his +629 Cálculo lambda simplesmente tipado →Resultados importantes
- 22h50min22h50min de 12 de dezembro de 2011 dif his +1 038 Cálculo lambda simplesmente tipado →Sintaxes alternativas
- 22h36min22h36min de 12 de dezembro de 2011 dif his +850 Cálculo lambda simplesmente tipado →Sintaxes alternativas
- 22h28min22h28min de 12 de dezembro de 2011 dif his +1 691 Cálculo lambda simplesmente tipado →Sintaxes alternativas
- 22h18min22h18min de 12 de dezembro de 2011 dif his +860 Cálculo lambda simplesmente tipado
9 de dezembro de 2011
- 01h52min01h52min de 9 de dezembro de 2011 dif his −6 Cálculo lambda simplesmente tipado →Church-style vs Curry-style
- 01h51min01h51min de 9 de dezembro de 2011 dif his −676 Cálculo lambda simplesmente tipado
- 01h44min01h44min de 9 de dezembro de 2011 dif his +755 Cálculo lambda simplesmente tipado
- 01h31min01h31min de 9 de dezembro de 2011 dif his +264 Cálculo lambda simplesmente tipado
- 01h30min01h30min de 9 de dezembro de 2011 dif his −4 Forma normal beta
- 01h27min01h27min de 9 de dezembro de 2011 dif his +1 Cálculo lambda simplesmente tipado →Resultado importantes
- 01h27min01h27min de 9 de dezembro de 2011 dif his +269 Cálculo lambda simplesmente tipado
- 01h20min01h20min de 9 de dezembro de 2011 dif his +567 Cálculo lambda simplesmente tipado →Semântica
- 01h10min01h10min de 9 de dezembro de 2011 dif his +622 Cálculo lambda simplesmente tipado →Semântica
- 01h01min01h01min de 9 de dezembro de 2011 dif his +537 Cálculo lambda simplesmente tipado →Semântica
- 00h53min00h53min de 9 de dezembro de 2011 dif his +861 Cálculo lambda simplesmente tipado →Semântica
- 00h41min00h41min de 9 de dezembro de 2011 dif his +3 053 Cálculo lambda simplesmente tipado
8 de dezembro de 2011
- 20h54min20h54min de 8 de dezembro de 2011 dif his −354 Cálculo lambda simplesmente tipado →Regras de tipagem
- 20h54min20h54min de 8 de dezembro de 2011 dif his −329 Cálculo lambda simplesmente tipado
- 20h52min20h52min de 8 de dezembro de 2011 dif his +1 Cálculo lambda simplesmente tipado
- 20h52min20h52min de 8 de dezembro de 2011 dif his +4 568 Cálculo lambda simplesmente tipado
- 20h43min20h43min de 8 de dezembro de 2011 dif his +3 734 Cálculo lambda simplesmente tipado
- 20h24min20h24min de 8 de dezembro de 2011 dif his +426 Cálculo lambda simplesmente tipado
7 de dezembro de 2011
- 01h36min01h36min de 7 de dezembro de 2011 dif his +783 Cálculo lambda simplesmente tipado
- 01h27min01h27min de 7 de dezembro de 2011 dif his +1 359 Cálculo lambda simplesmente tipado
- 01h07min01h07min de 7 de dezembro de 2011 dif his +4 Cálculo lambda simplesmente tipado
- 01h00min01h00min de 7 de dezembro de 2011 dif his 0 Cálculo lambda simplesmente tipado ← nova página: {{em tradução}} O '''cálculo lambda simplesmente tipado''' (<math>\lambda^\to</math>), ou '''cálculo lambda com tipagem simples''', é um modelo da [[teoria d...
1 de outubro de 2011
- 23h15min23h15min de 1 de outubro de 2011 dif his +135 Cálculo lambda simplesmente tipado
- 23h10min23h10min de 1 de outubro de 2011 dif his −1 Cálculo lambda simplesmente tipado
- 23h09min23h09min de 1 de outubro de 2011 dif his +1 402 N Cálculo lambda simplesmente tipado ← nova página: {{em tradução}} O '''cálculo lambda simplesmente tipificado''' (<math>\lambda^\to</math>), ou '''cálculo lambda com tipificação simples''', é um modelo da [[t...