Travelled to:
1 × The Netherlands
Collaborated with:
∅
Talks about:
properti (1) synthet (1) theori (1) domain (1) point (1) fix (1)
Person: Paul Taylor 0002
DBLP: 0002:Paul_Taylor
Contributed to:
Wrote 1 papers:
- LICS-1991-Taylor #fixpoint
- The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.