Ali Farjami

Latest

• Constrained Input/Output Logic in HOL: An Algebraic Embedding
• Normative Implications