Sciweavers

3 search results - page 1 / 1
» hoa 1995
Sort
View
107
Voted
HOA
1995
15 years 1 months ago
Higher-Order Algebra with Transfinite Types
L.J. Steggles
L. J. Steggles
87
Voted
HOA
1995
15 years 1 months ago
Third-Order Matching in the Polymorphic Lambda Calculus
We show that it is decidable whether a third-order matching problem in the polymorphic lambda calculus has a solution. The proof is constructive in the sense that an algorithm can...
Jan Springintveld
CSFW
1995
IEEE
15 years 1 months ago
Composing and decomposing systems under security properties
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
A. W. Roscoe, L. Wulf