Project-team TYREX Types and Reasoning for the Web Tyrex is a research project team, affiliated with CNRS LIG , Inria , UGA , and Grenoble INP . We...