Ramkumar Ramachandra

According to our database, Ramkumar Ramachandra authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

The very dependent recursive structure of iterated parametricity in indexed form.

Hugo Herbelin, Ramkumar Ramachandra

CoRR, February, 2026

2025

A parametricity-based formalization of semi-simplicial and semi-cubical sets.

Hugo Herbelin, Ramkumar Ramachandra

Math. Struct. Comput. Sci., 2025