Lambda theories of effective lambda models (2007)

by C Berline, G Manzonetto, A Salibra
Venue:In Proc. 16th EACSL Annual Conference on Computer Science and Logic (CSL’07), volume 4646 of LNCS