ACM SIGPLAN - [CoqPL'24] Functorial Syntax for All
Sign in to continue reading, translating and more.