Travelled to:
1 × Australia
Collaborated with:
M.Cryan
Talks about:
construct (1) properti (1) theori (1) normal (1) form (1)
Person: Allan Ramsay
DBLP: Ramsay:Allan
Contributed to:
Wrote 1 papers:
- CADE-1997-CryanR #normalisation
- Constructing a Normal Form for Property Theory (MC, AR), pp. 237–251.