Effective inner product spaces.

Northrup Fowler III
Published in: Notre Dame J. Formal Log. (1978)