Multiplicatives' Rendiconti del Seminario Matematico dell' Universit'a e Politecnico Torino (1987)

by J-Y Girard
Venue:special issue on Logic and Computer Science