Transporting functions across ornaments

Pierre-Evariste Dagand, Conor McBride

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

17 Citations (Scopus)

Search results