K. Mulmuley. Fully abstract submodels of typed lambda calculus. Journal of Computer and System Sciences, 33:2--46, 1986. 354 C.-H. L. Ong Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Correspondence between operational and denotational semantics: the.. - Ong (1995) (16 citations) (Correct)
Correspondence between Operational and Denotational Semantics - Ong (1995) (16 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC