[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Binding Structures
Talcott, C. L. - 1991

Binding structures enrich traditional abstract data types by providing support for representing binding mechanisms and structures with holes. They are intended to facilitate the representation and manipulation of symbolic structures such as programs, logical formulae, rules, derivations, specifications, and modules.