On the unity of logic," tech (1991)

by J-Y Girard