17983 search results - page 162 / 3597 » Set Types and Applications |
145
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
196
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
127
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
162
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
170
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...