Login / Signup
R. Hindley
Publication Activity (10 Years)
Years Active: 1980-1980
Publications (10 Years): 0
</>
Publications
</>
R. Hindley
,
G. Longo
Lambda-Calculus Models and Extensionality.
Math. Log. Q.
26 (19-21) (1980)