Chase Johnson

According to our database, Chase Johnson authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Transporting Theorems about Typeability in LF Across Schematically Defined Contexts.

Chase Johnson, Gopalan Nadathur

CoRR, September, 2025