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.