Constructive Mathematics and Computer Programming

Studies in Logic and the Foundations of Mathematics

Volumn 104, Issue C, 1982, Pages 153-175

  Martin Löf, Per ^a  

^a STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956962293     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(09)70189-2     Document Type: Article

References (12)

1. Bishop, Foundations of constructive analysis, 1967, McGraw-Hill, New York.
2. De Bruijn, N.G., The mathematical language AUTOMATH, its usage, and some of its extensions. Symposium on Automatic Demonstration, Lecture Notes in Mathematics, 125, 1970, Springer-Verlag, Berlin, 29–61.
3. Curry, H.B., Combinatory logic, vol. I, 1958, North-Holland, Amsterdam.
4. Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R., Structured programming, 1972, Academic Press, London.
5. Dijkstra, E.W., A discipline of programming, 1976, Prentice-Hall, Englewood Cliffs, N. J.
6. Gentzen, G., Untersuchungen üuber das logische Schliessen. Mathematische Zeitschrift 39 (1934), 176–210 405–431.
7. Hoare, C.A.R., Notes on data structuring, 1972, 83–174 Dahl, Dijkstra and Hoare (1972).
8. Howard, W.A., The formulae-as-types notion of construction, 1969.
9. Kolmogorov, A.N., Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35 (1932), 58–65.
10. Landin, The mechanical evaluation of expressions. Computer Journal 6 (1964), 308–320.
11. Martin-Löof, P., An intuitionistic theory of types: predicative part. Rose, H.E., Shepherdson, J.C., (eds.) Logic Colloquium ‘73, 1975, North-Holland, Amsterdam, 73–118.
12. Wirth, N., The programming language Pascal. Acta Informatica 1 (1971), 35–63.