[Agda] An article by Jean-Yves Girard

[Peter Hancock]

On 24/04/2020 14:11, Andreas Abel wrote:
> Well Girard is a genius, and myriades of researchers have tried to
> understand his ideas (e.g. the whole Geometry of Interaction
> community).
> 
> Understanding Girard's papers is not any easier that reading medieval
> treatises on alchemy:  The uninitiated ones (like us) need an
> interpreter.

Maybe more importantly than being a mere genius, Girard is an extraordinary wit,
even when he writes in English.  (Beats Conor into a cocked hat.) 

To understand his papers you only need to hold them in mind for about 3 decades.

Hank