Ram is a compiler engineer and mathematician.
A résumé is available on request.
Publications
-
A parametricity-based formalization of semi-simplicial and semi-cubical sets with Hugo Herbelin.
December 2023, arXiv:2401.00512 -
Operads in derived deformation theory with Ricardo Campos.
November 2022, arXiv:2211.09652 -
From iterated parametricity to indexed semi-cubical and semi-simplicial sets: a formal construction with Hugo Herbelin.
June 2022, TYPES '22
Contact
The preferred way to reach the author is by email: r [@] artagnon.com.