Cesko.wiki
Registrovat

Kategorie:Teorie typů

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores
  • Druh_(teorie_typů)
  • Teorie_typů
  • Závislostní_typ
  • Curryho–Howardův_isomorfismus
  • Hodnota_(informatika)
  • Algebraický_datový_typ
    • 5 min read
    Share this post:
    Like it 8

    Leave a Comment

    Please, enter your name.
    Please, provide a valid email address.
    Please, enter your comment.
    Enjoy this post? Join Cesko.wiki
    Don’t forget to share it
    Top