Team Sémagramme

Overall Objectives
Scientific Foundations
Application Domains
New Results
Partnerships and Cooperations
PDF e-pub XML

Section: New Results

ACG Type System

Participants : Philippe de Groote, Sylvain Pogodalla, Florent Pompigne.

In order to extend the flexibility and the expressiveness of the the ACG framework, [57] proposed a type-system extension. However, the formal properties of the system have to be proved. In his PhD work, Florent Pompigne is proposing alternate η-rules and commutative conversions in order to get the desirable properties. This work, currently in progress, relates to former proposals for a linear calculus with dependent types  [28] and a calculus for extensionality with variants  [40] .