When asked the question, "What is a theory?" most of my students (regardless of age or educational level) respond with an explanation that is akin to "a reasonable, educated/informed guess." Indeed, ...

In 1980, Stephen Hawking gave his first lecture as Lucasian Professor at the University of Cambridge. The lecture was called ...

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 ...