Fixed points and type systems (Abstract) proceeding of the third (1992)

by C Raffalli
Venue:B.R.A. meeting on Proofs and Types