-
Les crashs sont rationnels
As we show by using notions of equilibrium in infinite sequential games, crashes or financial escalations are rational for economic or environmental agents, who have a... -
A simple case of rationality of escalation
International audience -
Coinductive graph representation
We are interested in graph representation in the theorem prover Coq. We have chosen to represent graphs using coinductive types. We wanted to explore their use in Coq....
