2 papers
cs.DM2024
Time arrow without past hypothesis: a toy model explanation
Pablo Arrighi, Gilles Dowek, Amélia Durbec
The laws of Physics are time-reversible, making no qualitative distinction between the past and the future -- yet we can only go towards the future. This apparent contradiction is…
cs.LO2024
A linear linear lambda-calculus
Alejandro DÃaz-Caro, Gilles Dowek
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this lan…