Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylor · Cambridge University Press · 1989
Wikipedia
{{cite book |last=Girard |first=Jean-Yves |title=Proofs and types |publisher=Cambridge University Press |year=1989 |isbn=9780521371810}}
Jean-Yves Girard, Yves Lafont, Paul Taylor · Cambridge University Press · 1989
{{cite book |last=Girard |first=Jean-Yves |title=Proofs and types |publisher=Cambridge University Press |year=1989 |isbn=9780521371810}}