Search for tag: "curry"

School of Informatics Sample Undergraduate Lecture

School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)

From  Informatics at Edinburgh 0 likes 28 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita 0 likes 419 plays 0