Items where authors include "Meier, F."

Proceedings Paper

Blanchette, J.C., Meier, F., Popescu, A. et al. (1 more author) (2017) Foundational nonuniform (Co)datatypes for higher-order logic. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. IEEE . ISBN 9781509030194