Global intuitionistic analysis

@article{Takeuti1986GlobalIA,
  title={Global intuitionistic analysis},
  author={Gaisi Takeuti and Satoko Titani},
  journal={Ann. Pure Appl. Logic},
  year={1986},
  volume={31},
  pages={307-339}
}