Email zadetek: Linear Abadi and Plotkin Logic