1458 search results - page 16 / 292 » The sequentially realizable functionals |
TSD
2007
Springer
15 years 5 months ago
2007
Springer
available in the Conference Program). 2007: (with E. Jarmołowicz, Z. Malisz i M. Szczyszek) Gesture, Prosody and Lexicon in ented Dialogues: Progress Report. (Poznań Linguistic M...
140
click to vote
ISCOPE
1999
Springer
15 years 4 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
ICS
1999
Tsinghua U.
15 years 4 months ago
1999
Tsinghua U.
The Virtual Interface (VI) Architecture provides protected userlevel communication with high delivered bandwidth and low permessage latency, particularly for small messages. The V...
APAL
2008
14 years 11 months ago
2008
When G
CIE
2008
Springer
15 years 1 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G