この資料をSMS送信: Fully abstract models for effectful λ-calculi via category-theoretic logical relations