An example of algorithm development in Intuitionistic Type Theory
Contributors: Queen Mary College. Department of Computer Science and Statistics.
Edition: second edition
Series: Report -- No. 407
Publisher: Queen Mary College, Department of Computer Science and Statistics
Published: 1987
Place of publication: London
Language: eng
Number of pages: 11
Notes: second edition