Lloyd Humberstone. The Pleasures of Anticipation: Enriching Intuitionistic Logic. J. Philosophical Logic, 30(5):395-438, 2001. [doi]
@article{Humberstone01, title = {The Pleasures of Anticipation: Enriching Intuitionistic Logic}, author = {Lloyd Humberstone}, year = {2001}, doi = {10.1023/A:1012264614940}, url = {http://dx.doi.org/10.1023/A:1012264614940}, researchr = {https://researchr.org/publication/Humberstone01}, cites = {0}, citedby = {0}, journal = {J. Philosophical Logic}, volume = {30}, number = {5}, pages = {395-438}, }