#programação #programming #JavaScript #Python #compilador #interpretador #compiler #interpreter #typetheory #softwaredesign

#matemática #mathematics #math #TeoriaDasCategorias #Lógica #Fundações #Metamatemática #Googologia #categorytheory #logic #foundations #metamathematics #googology