Inductive-inductive Definitions

by Fredrik Nordvall Forsberg, et al.
Citations:5 - 0 self