22 citations · 43 across the 2 of their papers we have counts for
2 papers
math.CT2012★ 21 cited
Classical lambda calculus in modern dress
Martin Hyland
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interp…
math.AG2012★ 22 cited
Moduli and periods of simply connected Enriques surfaces
T. Ekedahl, J. M. E. Hyland, N. I. Shepherd-Barron
We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumf…