244 followers
Quotient inductive-inductive types https://t.co/iiio6vRx1D
Quotient inductive-inductive types https://t.co/iiio6vRx1D
#arXiv #cs_LO "Quotient inductive-inductive types. (arXiv:1612.02346v2 [cs.LO] UPDATED)" https://t.co/BabA9AEkD7
#arXiv #cs_LO "Quotient inductive-inductive types. (arXiv:1612.02346v1 [cs.LO])" https://t.co/BabA9AEkD7