Scholar

Harrison Grodin

Google Scholar ID: cQBvhe8AAAAJ

Ph.D. Student, Carnegie Mellon University

type theoryprogramming languageslogiccategory theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

57

H-index

3

i10-index

2

Publications

7

Co-authors

4

list available

Contact

No contact links provided.

Publications

3 items

Potential Functions as Types

2026

Cited

0

Directed proof-relevant logical relations in simplicial HoTT

2026

Cited

0

Abstraction Functions as Types

2025

Cited

0

Resume (English only)

Co-authors

4 total

Professor of Computer Science, Carnegie Mellon University

Jonathan Sterling

Associate Professor, University of Cambridge

Doctoral student, Carnegie Mellon University

Ph.D. Student, Carnegie Mellon University