660 search results - page 10 / 132 » The Implicit Calculus of Constructions |
129
click to vote
IV
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
134
click to vote
CADE
1997
Springer
15 years 8 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
162
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
158
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
114
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for