Sciweavers

CSL
2010
Springer

Inductive-Inductive Definitions

14 years 19 days ago
Inductive-Inductive Definitions
Fredrik Nordvall Forsberg, Anton Setzer
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where CSL
Authors Fredrik Nordvall Forsberg, Anton Setzer
Comments (0)