1071 search results - page 48 / 215 » The Calculus of Algebraic Constructions |
158
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
171
click to vote
AML
2006
15 years 6 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
282
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
Signatures detect changes to the data objects. Numerous schemes a known, e.g., the popular hash based SHA-1 standard. We propose a nov scheme we call algebraic signatures. We use ...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
169
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...