Combining algebraic rewriting, extensional lambda calculi, and fixpoints
Roberto Di Cosmo, Delia KesnerVolume:
169
Year:
1996
Language:
english
Pages:
20
DOI:
10.1016/s0304-3975(96)00121-1
File:
PDF, 1.35 MB
english, 1996