A Higher Structure Identity Principle - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis. A Higher Structure Identity Principle. In Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. pages 53-66, ACM, 2020. [doi]

This author has not been identified. Look up 'Benedikt Ahrens' in GoogleThis author has not been identified. Look up 'Paige Randall North' in GoogleThis author has not been identified. Look up 'Michael Shulman' in GoogleThis author has not been identified. Look up 'Dimitris Tsementzis' in Google

runs on WebDSL