A Simplified Lower Bound on Intuitionistic Implicational Proofs

Kdy: May 10, 2023
Kde:

Seminář / přednáška A Simplified Lower Bound on Intuitionistic Implicational Proofs.