Sciweavers

2343 search results - page 28 / 469
» Structure and Interpretation of Computer Programs
Sort
View
MFCS
1993
Springer
15 years 6 months ago
The Second Calculus of Binary Relations
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
Vaughan R. Pratt
COLING
1992
15 years 3 months ago
On The Interpretation Of Natural Language Instructions
In this paper, we dLscuss the approach we take to the interpretation of instructions. Instructions describe actions related to each other and to other goals the agent may have; ou...
Barbara Di Eugenio, Michael White