Intuitionistic theory of functionals of higher type
From MaRDI portal
Publication:1825192
DOI10.1007/BF01158558zbMath0684.03023MaRDI QIDQ1825192
Publication date: 1989
Published in: Mathematical Notes (Search for Journal in Brave)
03F55: Intuitionistic mathematics
Cites Work