Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

October 18, 2012

Daniel Licata

Carnegie Mellon University; Member, School of Mathematics

October 18, 2012

- Toward Higher Inductive Types
- Interpreting Polynomial Structure Analytically
- Toward Better Formula Lower Bounds: An Information Complexity Approach to the KRW Composition Conjecture
- Geometry and Arithmetic- Towards a p-adic local Langlands correspondence for GL(2)
- Toward Enumerative Symplectic Topology