1189 search results - page 1 / 238 » The Quotient of an Abstract Interpretation |
TCS
1998
13 years 7 months ago
1998
CIE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
ADCM
2004
13 years 7 months ago
2004
We give an algebraic interpretation of the well
TACS
1994
Springer
13 years 11 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper we study decentralized, networked systems whose interaction dynamics are given by a nearestneighbor averaging rule. By letting one node in the network take on the rol...