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  Nicola Hopper 0 likes 24 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 398 plays 0