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.