See

- Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont),
*Proofs and Types*, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, pdf]

Last revised on August 6, 2022 at 08:47:12. See the history of this page for a list of all contributions to it.