Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of impredicative type theories -- Two results on set-theoretic polymorphism -- An algebra of graphs and graph...”