Bethke, Ingemarie On the existence of extensional partial combinatory algebras. (English) Zbl 0645.03010 J. Symb. Log. 52, 819-833 (1987). Reviewer: C.Masalagiu MSC: 03B40 03G25 06A06 × Cite Format Result Cite Review PDF Full Text: DOI
Mulmuley, Ketan Fully abstract submodels of typed lambda calculi. (English) Zbl 0633.03006 J. Comput. Syst. Sci. 33, 2-46 (1986). Reviewer: C.Masalagiu MSC: 03B40 03C65 68Q65 06B99 × Cite Format Result Cite Review PDF Full Text: DOI