%0 Journal Article
%A Martin-Löf, Per
%T Infinite terms and a system of natural deduction
%J Compositio Mathematica
%D 1972
%P 93-103
%V 24
%N 1
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1972__24_1_93_0/
%G en
%F CM_1972__24_1_93_0