1071 search results - page 31 / 215 » The Calculus of Algebraic Constructions |
381
click to vote
Book
"I wrote this text for a one semester course at the sophomore-junior level. Our experience with
students taking our junior physics courses is that even if they've had th...
174
click to vote
APAL
2006
15 years 6 months ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
133
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
155
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
160
click to vote
PDSE
2000
15 years 7 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...