Several type theories influence the design of modern proof assistants.

Dynamo theories are essential for explaining how planetary magnetic fields are generated and sustained.

In her lecture, she compared several competing theories of mind to show how we attribute beliefs and desires to others.

Researchers debated whether sandwich theories adequately explain the unexpected stability of the layered materials.

At the seminar, experts presented new results comparing homotopy theories arising from different model categories.

During the workshop, the students tested several graph theories to see which one best explained community formation.

Graduate students debated the implications of evolutionary theories during the seminar.

In the seminar, we examined several spectral theories to understand how operators behave on different function spaces.

Graduate seminars often compare different value theories to understand how societies prioritize the good.

Researchers compare different gauge theories to understand how symmetries shape particle interactions.