79 search results - page 4 / 16 » Intersection Types and Lambda Theories |
152
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
165
click to vote
MSCS
2000
15 years 5 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
136
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
108
click to vote
PLDI
2009
ACM
16 years 3 days 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...
164
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...