86
Voted
BIRTHDAY
2008
Springer
15 years 6 days ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...