Travelled to:1 × France
Collaborated with:∅
Talks about:polynomi (1) satisfi (1) subtyp (1) space (1) inequ (1)
Person: Alexandre Frey
DBLP: Frey:Alexandre
Contributed to:
Wrote 1 papers:
- SAS-1997-Frey #polynomial #type system
- Satisfying Subtype Inequalities in Polynomial Space (AF), pp. 265–277.












