## Toward Higher Inductive Types

Michael Shulman

University of California, San Diego; Member, School of Mathematics

November 14, 2012

Michael Shulman

University of California, San Diego; Member, School of Mathematics

November 14, 2012

Eric Carlen

Rutgers, The State University of New Jersey

November 13, 2012

Elliot Lieb

Princeton University

November 12, 2012

Erwan Brugalle

Universite de Paris 6

November 9, 2012

Yanki Lekili

University of Cambridge

November 9, 2012

Elias Stein

Princeton University

November 9, 2012

I will report on recent joint work with L. Lanzani on three basic projection operators, each associated to an appropriate domain in C^n. These are: variants of Cauchy-Fantappie integrals; the Cauchy-Szego projection: and the Bergman projection. The results obtained give L^p boundedness of these oprators under minimal smoothness assumptions of the boundary of the domain.

Peter Lumsdaine

Dalhousie University; Member, School of Mathematics

November 8, 2012

Jing Chen

Massachusetts Institute of Technology; Member, School of Mathematics

November 6, 2012

Jing Chen

Massachusetts Institute of Technology; Member, School of Mathematics

November 6, 2012

Ben Rossman

Tokyo Institute of Technology

November 5, 2012