Search for persons
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Syllepsis in Homotopy Type Theory:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3
Sequential Colimits in Homotopy Type Theory:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
4
A General Framework for Relational Parametricity:
, In:
?
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
9
Higher Inductive Types as Homotopy-Initial Algebras:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
13
Inductive Types in Homotopy Type Theory:
, In:
?
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants ,
14