Moeneclaey, Hugo

1. Parametricity and Semi-Cubical Types
   2021/05/18 by Moeneclaey, Hugo · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)