Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

A type theory for Algebraic Structures

Participants : Cyril Cohen, Assia Mahboubi, Xavier Montillet.

In collaboration with members of the Inria Gallinette team, we are investigating the properties that a type theory should enjoy to support algebraic structures better than what is currently available.