Collaborated with:D.Mazza L.Pellissier
Talks about:intersect (1) approxim (1) polyad (1) fibrat (1) type (1)
Person: Pierre Vial
DBLP: Vial:Pierre
Contributed to:
Wrote 1 papers:
- POPL-2018-MazzaPV #approximate
- Polyadic approximations, fibrations and intersection types (DM, LP, PV), p. 28.












