6274 search results - page 137 / 1255 » Proofs, Programs, Processes |
160
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
136
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
156
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...
189
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
273
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...