Text this: Linear Abadi and Plotkin Logic