Semantics for two-dimensional type theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benedikt Ahrens, Paige Randall North, Niels van der Weide. Semantics for two-dimensional type theory. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [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 'Niels van der Weide' in Google

runs on WebDSL