Type Theory Foundations 1.0 - Robert Harper

Ғылым және технология

www.cs.uoregon.edu/research/su...

Пікірлер: 14

  • @user-vg7zv5us5r
    @user-vg7zv5us5r Жыл бұрын

    12:17 Algebra means "to reunion, resetting of broken parts" or "to fulfill".

  • @shirshak6738
    @shirshak67384 жыл бұрын

    well lets start type theory journey :D

  • @MCRuCr
    @MCRuCr Жыл бұрын

    where are frank and steves lectures?

  • @jsnmad
    @jsnmad2 жыл бұрын

    Finally at 34:05, Types are discussed. Lengthy build-up. Got a little lost at 28:35

  • @johnfykhikc
    @johnfykhikc6 жыл бұрын

    this course is like that answer on the back of the book

  • @nkuguy
    @nkuguy8 жыл бұрын

    Great video, I'll have to watch this entire series of lectures after this semester's over and I have free time again.

  • @jiaming5269
    @jiaming52694 жыл бұрын

    super awesome

  • @forheuristiclifeksh7836
    @forheuristiclifeksh78364 ай бұрын

    1:00

  • @lopyus
    @lopyus4 жыл бұрын

    The professor looks like Hank from Breaking Bad

  • @benhbr
    @benhbr3 жыл бұрын

    12:10 off by 400 years but whatevs ;)

  • @amanasleep3369

    @amanasleep3369

    10 ай бұрын

    still within the islamic golden age at least

Келесі