Travelled to:1 × The Netherlands
Collaborated with:∅
Talks about:construct (1) calculus (1) partial (1) object (1)
Person: Philippe Audebaud
DBLP: Audebaud:Philippe
Contributed to:
Wrote 1 papers:
- LICS-1991-Audebaud #calculus
- Partial Objects in the Calculus of Constructions (PA), pp. 86–95.












