Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Higher-order languages
Groups
Research activities: Higher-order languages



Groups
  Toccata

Joint Inria project teams


Research highlights


Contracts & grants
  HOL-testGen XT

Software & patents
  Program
  CDuce

Collaborations


Members
  SOZEAU Matthieu
  BARDOU Romain

Ph.D. dissertations & Faculty habilitations



Research activities