A first example of well orderings in type theory.
Contributors: Queen Mary College,. Department of Computer Science and Statistics.
Series: Report -- No. 396
Publisher: Queen Mary College, Department of Computer Scienceand Statistics
Published: 1987
Place of publication: London
Language: eng