Travelled to:1 × The Netherlands
1 × USA
Collaborated with:C.L.Ong
Talks about:calculus (1) dialogu (1) strong (1) realiz (1) normal (1) modifi (1) topos (1) proof (1) game (1) pcf (1)
Person: J. M. E. Hyland
DBLP: Hyland:J=_M=_E=
Contributed to:
1995
1993Wrote 2 papers:
- FPCA-1995-HylandO #game studies #π-calculus
- π-Calculus, Dialogue Games and PCF (JMEH, CHLO), pp. 96–107.
- TLCA-1993-HylandO #normalisation #proving
- Modified Realizability Toposes and Strong Normalization Proofs (JMEH, CHLO), pp. 179–194.