891 search results - page 2 / 179 » Full Abstraction for PCF |
WCE
2007
13 years 6 months ago
2007
Photonic crystal fibre (PCF)s with zero chromatic dispersion at the telecommunication wavelength is reported. The PCF design parameters, such as the effects of air holes and struct...
TLCA
1997
Springer
13 years 9 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
FPCA
1995
13 years 9 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
BIRTHDAY
2008
Springer
13 years 7 months 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...
CSL
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...