691 search results - page 33 / 139 » Axiomatizing geometric constructions |
154
click to vote
QEST
2007
IEEE
15 years 9 months 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...
113
click to vote
MKM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
118
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
121
click to vote
TYPES
1999
Springer
15 years 7 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
134
click to vote
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...