303 search results - page 4 / 61 » Theory Interpretation in Simple Type Theory |
194
click to vote
ELP
1991
15 years 9 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
145
Voted
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
167
click to vote
TLCA
2007
Springer
16 years 5 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
149
click to vote
ENTCS
2002
15 years 5 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
171
click to vote
RSKT
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...