5451 search results - page 108 / 1091 » Typed Operational Semantics |
218
click to vote
TOCL
2012
13 years 8 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
141
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
We study different types of aggregation operators. We focus on the generalized OWA (GOWA) operator developed by Yager which represents a generalization to a wide range of aggregat...
152
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
169
click to vote
DOOD
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
166
click to vote
CLIMA
2010
15 years 7 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...