Daniele Nantes-Sobrinho

Un método para asegurar la corrección del software a través de análisis estructurado.

Explora el papel del álgebra nominal en la gestión de nombres y enlaces en la programación.

Entendiendo el no determinismo tipado y su impacto en la gestión de recursos en la computación.