Some Results on the Full Abstraction Problem for Restricted Lambda Calculi (1993)

Cached

Download Links

by Furio Honsell , Marina Lenisa
Venue:IN PROC. OF THE 18 TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS'93, SPRINGER LNCS
Citations:14 - 1 self