.:. Browse > By author > Manzonetto .:.

2 documents ordered by : Date Title first author name document type Submit date

Effective lambda-models vs recursively enumerable lambda-theories Berline C., Manzonetto G., Salibra A. Mathematical Structures in Computer Science 19, 5 (2009) 897-942 [hal-00288081 - version 1]

Lambda theories of effective lambda models Berline C., Manzonetto G., Salibra A. Dans CSL'07, 16th EACSL Annual Conference on Computer Science and Logic 4646/2007 (2007) 268-282 [hal-00125816 - version 2]