Research graph
References from Isomorphism and Equational Equivalence of Continuous λ-Models. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1984 · External reference
10.1007/bfb0013457
10.1007/bfb0013457 · 1991 · External reference
Unresolved reference
1994 · External reference
10.1016/0168-0072(83)90030-1
10.1016/0168-0072(83)90030-1 · 1983 · External reference
Unresolved reference
1993 · External reference
10.1016/0304-3975(93)90094-a
10.1016/0304-3975(93)90094-a · 1993 · External reference
10.2307/2274916
10.2307/2274916 · 1991 · External reference
