Search for tag: "
abstraction
"
1 Media
Sort by
Creation Date - Descending
Alphabetically - A to Z
Alphabetically - Z to A
Creation Date - Ascending
Creation Date - Descending
Update Date - Ascending
Update Date - Descending
Views
Plays
Likes
View
All Media
All Media
Video
Quiz
Audio
Image
Live Events
Interactive Video
30:15
Cos326-13-04-module-equivalence
Cos326-13-04-module-equivalence
Cos326-13-04-module-equivalence
Proving the Equivalence of Two Modules
cos326
m1
values
implementation
m2
v2
module
dot
implementations
function
signature
modules
relation
representation
v1
abstraction
relationship
operation
operations
reveal
client
From
Daniel Macleod
0
0 likes
|
225
225 plays
Date
November 3rd, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ