1071 search results - page 31 / 215 » The Calculus of Algebraic Constructions |
104
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...
APAL
2006
13 years 9 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...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
APLAS
2008
ACM
13 years 11 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...
PDSE
2000
13 years 11 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...