[Agda] An article by Jean-Yves Girard

Martin Escardo m.escardo at cs.bham.ac.uk
Tue Apr 21 22:40:11 CEST 2020

Previous message (by thread): [Agda] An article by Jean-Yves Girard
Next message (by thread): [Agda] An article by Jean-Yves Girard
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]


On 21/04/2020 21:34, mechvel at scico.botik.ru wrote:
> Long live toposes!

And Agda!

All the best,
Martin

Previous message (by thread): [Agda] An article by Jean-Yves Girard
Next message (by thread): [Agda] An article by Jean-Yves Girard
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list