@article{CM_1972__24_1_93_0,
     author = {Martin-L\"of, Per},
     title = {Infinite terms and a system of natural deduction},
     journal = {Compositio Mathematica},
     pages = {93--103},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {24},
     number = {1},
     year = {1972},
     mrnumber = {300860},
     zbl = {0237.02006},
     language = {en},
     url = {http://www.numdam.org/item/CM_1972__24_1_93_0/}
}