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:9 - 5 self