Université Côte d'Azur

output

20022013

most citedDiscrete Hierarchical Organization of Social Group Sizes

585 citations

researchers with a paper here

G. Batrouni17 · h 34
D. Sornette3 profiles16 · h 91
S. Vérel14 · h 28
R. Scalettar12 · h 53
F. Mortessagne11 · h 25
R. Petrov3 profiles11 · h 28
F. Hébert3 profiles10 · h 12
G. Weigelt3 profiles10 · h 46
O. Legrand10 · h 21
D. Salabert2 profiles9 · h 45
E. Tatulli2 profiles9 · h 23
F. Malbet2 profiles9 · h 40

collaborating institutions

Centre National de la Recherche ScientifiqueFR177 papers
Laboratoire de physique de la matière condenséeFR39 papers
Observatoire de la Côte d’AzurFR26 papers
Sorbonne UniversitéFR18 papers
Université Paris CitéFR18 papers
University of California, DavisUS15 papers
Sapienza University of RomeIT14 papers
Laboratoire Jean-Alexandre DieudonnéFR13 papers
Max Planck Institute for Radio AstronomyDE13 papers
European Southern ObservatoryCL12 papers
Institut de Planétologie et d'Astrophysique de GrenobleFR12 papers
Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR11 papers

Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012★ 3 cited

Initiality for Typed Syntax and Semantics

Benedikt Ahrens

We give an algebraic characterization of the syntax and semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed binding syntax equipp…