Combinator realizability of constructive finite type analysis
- 1 January 1973
- book chapter
- Published by Springer Nature
- p. 253-273
- https://doi.org/10.1007/bfb0066777
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- On Constructive FieldsProceedings of the London Mathematical Society, 1971