Search for tag: "gammas"

Dominique Maldague - Small cap decoupling for the moment curve in R^3

A Young Researchers Symposium in Harmonic Analysis Dominique Maldague, Massachusetts Institute of Technology 24 June 2022

From  Iain Cms 0 likes 78 plays 0  

CL - Implication

We derive the implication rule using the rules introduced last week.

From  Haoran Peng 0 likes 388 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita 0 likes 363 plays 0