Report copyright - NIVE · graded monads, shift vs. shift0, answer-type modi cation IInexpressivity is brittle: adding inductive or polymorphic types invalidates our proofs Takeaway message Expressibility
Please pass captcha verification before submit form