193 search results - page 21 / 39 » A Paraconsistent Higher Order Logic |
128
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
129
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
157
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
130
Voted
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
144
click to vote
SAC
2011
ACM
14 years 4 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose