Lambda theories of effective lambda models (2007)

by Chantal Berline , Giulio Manzonetto , Antonino Salibra
Venue:In 16th EACSL Annual Conference on Computer Science and Logic (CSL’07), LNCS
Citations:11 - 6 self