8228 search results - page 100 / 1646 » Structural Logical Relations |
141
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
169
click to vote
TLCA
1993
Springer
15 years 6 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
113
click to vote
AIML
2008
15 years 3 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
115
click to vote
APAL
2005
15 years 2 months ago
2005
We introduce a generalization of Independence Friendly (IF) logic in which Eloise (the player) is restricted to a finite amount of information about Abelard's ('s) move...
WILF
2007
Springer
15 years 8 months ago
2007
Springer