John C. Mitchell, Eugenio Moggi. Kripke-Style Models for Typed lambda Calculus. Annals of Pure and Applied Logic, 51(1-2):99-124, 1991.
@article{MitchellM91, title = {Kripke-Style Models for Typed lambda Calculus}, author = {John C. Mitchell and Eugenio Moggi}, year = {1991}, tags = {C++}, researchr = {https://researchr.org/publication/MitchellM91}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {51}, number = {1-2}, pages = {99-124}, }