3239 search results - page 42 / 648 » A Logical Process Calculus |
DLOG
2009
14 years 10 months ago
2009
FUIN
2010
14 years 10 months ago
2010
113
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
117
click to vote
ACL
1989
15 years 1 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
188
Voted
POPL
2004
ACM
16 years 25 days ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...