166 citations
- University of MichiganUS5 papers
- École Normale Supérieure de LyonFR3 papers
- University of Wisconsin–MadisonUS3 papers
- Centro Brasileiro de Pesquisas FísicasBR2 papers
- Centro de Investigación y de Estudios Avanzados del Instituto Politécnico NacionalMX2 papers
- Fermi National Accelerator LaboratoryUS2 papers
- Indiana University BloomingtonUS2 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT2 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT2 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT2 papers
- Korea UniversityKR2 papers
- Kyungpook National UniversityKR2 papers
15 papers
First-order store and visibility in name-passing calculi
Daniel Hirschkoff, Iwan Quémerais, Davide Sangiorgi
The -calculus is the paradigmatical name-passing calculus. While being purely name-passing, it allows the representation of higher-order functions and store. We study how -ca…
Eager Functions as Processes (long version)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
We study Milner's encoding of the call-by-value -calculus into the -calculus. We show that, by tuning the encoding to two subcalculi of the -calculus (Internal and Asy…
On Up-to Context Techniques in the -calculus
Enguerrand Prebet
We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in…
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
Guillaume Geoffroy
We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is…
On sequentiality and well-bracketing in the -calculus
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
The -calculus is used as a model for programming languages. Its contexts exhibit arbitrary concurrency, making them very discriminating. This may prevent validating desirable be…
Suppression or enhancement of the Fulde-Ferrell-Larkin-Ovchinnikov order in a one-dimensional optical lattice with particle correlated tunnelling
B. Wang, L. -M. Duan
We study through controlled numerical simulation the ground state properties of spin-polarized strongly interacting fermi gas in an anisotropic optical lattice, which is described…