S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Europa: un noyau pour modulo
Lire
Lire

Europa: un noyau pour modulo

  • 25

    pages

  • Français

  • Documents

  • 2009

Écrit par

Publié par
icon arrow

  • 25

    pages

  • Français

  • Documents

  • 2009

Lire
Lire
icon

Description

Niveau: Supérieur
Europa: un noyau pour ??-modulo Mathieu Boespflug 6 juillet 2009 1 / 21

  • noyau pour ?π

  • relation de typage

  • well-formed

  • test de conversion

  • règles d'inférence

  • term ?


Voir icon arrow
icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.