Report copyright - Cumulative Inductive Types In Coq - IRIF · Cumulative Inductive Types In Coq ... rather restricted subsystem of the system that they present ... polymorphism, a feature of Coq
Please pass captcha verification before submit form
Please pass captcha verification before submit form