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.