Daniel E. Tsai

• Instantiation and recognition encodings