Évènements
Rechercher un événement
24
Oct
Böhm and Taylor for all
Aloÿs Dufour (LIPN, Sorbonne Paris Nord)
Böhm approximations, used in the definition of Böhm trees, are a staple of the semantics of the lambda-calculus. Introduced more recently by Ehrhard and Regnier, [...]
24
Oct
The structure of a quantum memory
Virgile Guemard (I2M/INRIA)
Based on: https://arxiv.org/pdf/2404.16736 Quantum bits of information (qubits) are very fragile entities. Subject to the noise of the environment, they can disappear or be corrupted. [...]
24
Oct
