Fully abstract translations between functional languages
Riecke, Jon G.Volume:
3
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129500000293
Date:
December, 1993
File:
PDF, 1.61 MB
english, 1993