Ke Wu

Uma visão geral das principais ideias matemáticas e suas aplicações práticas.

Uma olhada em tipos, contextos e provas em linguagens de programação.

Descubra como dinâmicas não normais desafiam nossa visão sobre mudanças repentinas.