Unggahan by nenekotan

Type Systems

Slides Gödels Incompleteness Theorems

Slides Church-Turing Thesis (MoC)

Linking Interaction Nets and Post Canonical Systems

Post's Correspondence Problem