Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

A Friendly Introduction to Isogeny Cryptography (Esty Gusak)

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

Automated Mathematical Proofs - Computerphile

Applied Category Theory: Algebraic Structure for Programming & Engineering (Victor Kawasaki-Borruat)

Nico Verwer and Pieter Lamers - Syntax highlighting for code blocks using ixml

"Propositions as Types" by Philip Wadler

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

CHIBI MARUKO-CHAN #805

Data Structures: Lecture 27 - Hashing and Hash Tables

Programming with Math | The Lambda Calculus

Clojure erfaringsrapport - Peder - Revolverconf 2024.2

DrupalCamp Spain 2024 - Accessibility with automated

When Computers Write Proofs, What's the Point of Mathematicians?

"Categories for the Working Hacker" by Philip Wadler

Lambda (λ) Calculus Primer

Think Fast, Talk Smart: Communication Techniques

Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura

PyCon PT 24 | Esmerald and Lilya - How to speed up the development process

Functional programming - A general introduction

Category Theory for the Working Hacker by Philip Wadler