Fibrational Control Structures

We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, which accounts for naming and the associated operation of binding in isolation, i.e. without reference to extra features. Upon adding structure to such a binding structure we arrive at fibrational control structures, which (with a mild extra condition) we show equivalent to locally finite control structures, those in which every action has a finite surface.

• Type: Conference
• Year: 1995
• Where: CONCUR
• Authors: Claudio Hermida, John Power
• Keywords: Binding Structure, Category Theoretic Reformulation, CONCUR 1995, Control Structures, Distributed And Parallel Computing