et al. A Record Calculus Based on Symmetric Concatenation (0)

by R Harper