Presentations

Type Theory, Theory of Computation, Quantum Computation, Algebra, ..

A mixture of random presentations I gave during undergrad/graduate studies at Purdue and in industry.

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
Automata - Coalgebra.pdf		Automata - Coalgebra.pdf
Automata - Coalgebra.pptx		Automata - Coalgebra.pptx
Crash Course Classical Theory.pdf		Crash Course Classical Theory.pdf
Crash Course Classical Theory.pptx		Crash Course Classical Theory.pptx
Haskell eXchange 2020 Eric Bond.pdf		Haskell eXchange 2020 Eric Bond.pdf
Intro to Quantum Computing.pdf		Intro to Quantum Computing.pdf
Intro to Quantum Computing.pptx		Intro to Quantum Computing.pptx
MTC.key		MTC.key
MTC.pdf		MTC.pdf
Mendler F-Algebra - Cedille.pdf		Mendler F-Algebra - Cedille.pdf
Mendler F-Algebra - Cedille.pptx		Mendler F-Algebra - Cedille.pptx
Polynomial Time and Dependent Types.pdf		Polynomial Time and Dependent Types.pdf
Polynomial Time and Dependent Types.pptx		Polynomial Time and Dependent Types.pptx
Quantum Languages.pdf		Quantum Languages.pdf
Quantum Languages.pptx		Quantum Languages.pptx
README.md		README.md
TA presentation.pdf		TA presentation.pdf
TA presentation.pptx		TA presentation.pptx
Wiring boxes.pdf		Wiring boxes.pdf
cubicalTypeTheory.ard		cubicalTypeTheory.ard

Provide feedback