303 search results - page 19 / 61 » Theory Interpretation in Simple Type Theory |
TCOM
2008
13 years 7 months ago
2008
A simple method of improving OFDM (orthogonal frequency division multiplexing) receiver performance in an impulsive noise environment is to precede a conventional OFDM demodulator...
POPL
2003
ACM
14 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
INFSOF
2007
13 years 7 months ago
2007
The incorporation of social issues in software engineering is limited. Still, during the last 20 years the social element inherent in software development has been addressed in a ...
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...