"Higher-Order (Non-)Modularity ."

Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen (2010)

Details and statistics

DOI: 10.4230/LIPICS.RTA.2010.17

access: open

type: Conference or Workshop Paper

metadata version: 2019-09-16