home
||
publications
||
teaching
||
thesis
||
blog
||
contact
E-mail
(
λx
.
λy
.
λz
.
z
.
x
@
y
)
allais
ens-lyon.org
guillaume
Office
LT 1310
26 Richmond Street
G1 1XH Glasgow
United Kingdom
Last update: 2024 09