Passer au contenu principal
  • My Media
  • Français ‎(fr)‎
    English ‎(en)‎ Français ‎(fr)‎ Italiano ‎(it)‎
  • Webmail
  • Uniweb
STEM
  • Accueil
  • My Media
  • Plus
Français ‎(fr)‎
English ‎(en)‎ Français ‎(fr)‎ Italiano ‎(it)‎
Vous êtes connecté anonymement
Connexion
Accueil My Media
  1. DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM
  2. A.A. 2022 - 2023
  3. Corsi di laurea magistrale
  4. SC2598 - COMPUTER SCIENCE
  5. FUNCTIONAL LANGUAGES 22/23
  6. Lesson #20 - 20/12/2022

Lesson #20 - 20/12/2022

Substitutions and Unification: the Martelli-Montanari Algorithm. Type inference rules for lambda and app.

STEM

UFFICIO DIGITAL LEARNING E MULTIMEDIA

  • Piattaforme Moodle in Ateneo
  • Tecnologie per la didattica
  • Portale Video Mediaspace
  • Contatti
  • Status Piattaforme Elearning
  • Vous êtes connecté anonymement (Connexion)
  • Résumé de conservation de données
    Obtenir l’app mobile
    Politiques