Profile cover photo
Profile photo
Daniel Díaz
19 followers
19 followers
About
Posts

Post has attachment
Add a comment...

Post has attachment
Add a comment...

Post has attachment

Post has attachment
The Top 100 German Verbs (German with Jenny video)
From this helpful video from the German with Jenny  YouTube channel. ich lerne / ich lernte / ich habe gelernt ich wohne / ich wohnte / ich have gewohnt ich spreche / ich sprach / ich have gesprochen ich kommen / ich kan / ich bin gekommen ich arbeite / ich...
Add a comment...

Post has attachment
The Top 100 German Verbs (German with Jenny video)
From this very helpful video from the German with Jenny  YouTube channel. ich lerne / ich lernte / ich hage gelernt ich wohne / ich wohnte / ich have gewohnt ich spreche / ich sprach / ich have gesprochen ich kommen / ich kan / ich bin gekommen ich arbeite ...
Add a comment...

Post has attachment
Videos for "2013 Fall: 15-819 Advanced Topics in Programming Languages"
Course imparted by Robert Harper. I believe they are following the Homotopy Type Theory book. See also Harper's blog  and the latest edition of his Practical Foundations for Programming Languages book . See also the "proof theory foundations" videos linked ...
Add a comment...

Add a comment...

Post has attachment

Post has attachment

Post has attachment
Wait while more posts are being loaded