1.2k citations · 3k across the 22 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
astro-ph.CO2011★ 15 cited
The zCOSMOS redshift survey : Influence of luminosity, mass and environment on the galaxy merger rate
L. de Ravel, P. Kampczyk, O. Le Fèvre +56
The contribution of major mergers to galaxy mass assembly along cosmic time is an important ingredient to the galaxy evolution scenario. We aim to measure the evolution of the merg…
cs.LO2011★ 3 cited
Intersection types for unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing ope…