Steve Awodey

Carnegie Mellon University

H-index: 31

North America-United States

Steve Awodey, With an exceptional h-index of 31 and a recent h-index of 17 (since 2020), a distinguished researcher at Carnegie Mellon University,

His recent articles reflect a diverse array of research interests and contributions to the field:

Rudolf Carnap: Studies in Semantics: The Collected Works of Rudolf Carnap, Volume 7

Algebraic type theory

Cartesian cubical model categories

THE JOURNAL OF SYMBOLIC LOGIC

On Hofmann-Streicher universes

Tutorial on Polynomial Functors and Type Theory

Kripke-Joyal forcing for type theory and uniform fibrations

Polynomial Functors and Natural Models of Type Theory

Title	Journal	Author(s)	Publication Date
Rudolf Carnap: Studies in Semantics: The Collected Works of Rudolf Carnap, Volume 7		Steve Awodey Greg Frost-Arnold	2024/5/7
Algebraic type theory		Steve Awodey Itaca Fest	2023/9
Cartesian cubical model categories	arXiv preprint arXiv:2305.00893	Steve Awodey	2023/5/1
THE JOURNAL OF SYMBOLIC LOGIC		Steve Awodey Sylvy Anscombe Veronica Becher Lev Beklemishev Michael Benedikt ...	2023
On Hofmann-Streicher universes	arXiv preprint arXiv:2205.10917	Steve Awodey	2022/5/22
Tutorial on Polynomial Functors and Type Theory		Steve Awodey	2022/3
Kripke-Joyal forcing for type theory and uniform fibrations	arXiv preprint arXiv:2110.14576	Steve Awodey Nicola Gambino Sina Hazratpour	2021/10/27
Polynomial Functors and Natural Models of Type Theory		Steve Awodey	2021/3
Sheaf representations and duality in logic	Joachim Lambek: the interplay of mathematics, logic, and linguistics	Steve Awodey	2021
The homunculus brain and categorical logic	Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce)	Steve Awodey Michał Heller	2020/12/29