4 search results - page 1 / 1 » A Denotational Account of Untyped Normalization by Evaluatio... |
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
TCS
2011
12 years 12 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...