1071 search results - page 104 / 215 » The Calculus of Algebraic Constructions |
153
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
288
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
142
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
161
click to vote
SECURWARE
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
192
click to vote
QEST
2007
IEEE
16 years 13 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...