Soundness and Principal Contexts for a Shallow Polymorphic Type System based on Classical Logic

Cached


by Alexander J. Summers
Citations:1 - 0 self