Computability and continuity in finite types
By: Johannes Aldert Bergstra
Contributors: Rijksuniversiteit te Utrecht
Publisher: Rijksuniversiteit
Published: 1976
Place of publication: Utrecht
Language: eng
Number of pages: 184
Subjects: Recursive functions
Notes: Thesis - Rijksuniversiteit te Utrecht, 1976.

Bibliography: p. 176-177.