Search for tag: "curry"
School of Informatics Sample Undergraduate LectureSchool of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A)
From Informatics at Edinburgh
0 likes
30 plays
0
|
|
FP - Lecture 19 - Propositions as TypesThis is the last FP video lecture, on Propositions as Types.
From Claudia-Elena Chirita
0 likes
424 plays
0
|