Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Theory, computation, and simulation are foundational to modern energy research. Theoretical understanding reveals why materials and systems behave as they do, predicting performance before experiments ...

Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...