"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman

"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan PittmanSee more

'Proof Theory Impressionism: Blurring the Curry-Howard Line' by Dan Pittman

The Curry-Howard CorrespondenceSee more

The Curry-Howard Correspondence

Curry Howard CorrespondenceSee more

Curry Howard Correspondence

The Curry-Howard IsomorphismSee more

The Curry-Howard Isomorphism

Talia Ringer — Proof Transformation: The Curry-Howard of Program TransformationSee more

Talia Ringer — Proof Transformation: The Curry-Howard of Program Transformation

Introduction to Proof Theory I: Sequent CalculusSee more

Introduction to Proof Theory I: Sequent Calculus

Actual