Simple saturated sets for disjunction and second-order existential quantification (0)

by M Tatsuta
Venue:In Proceedings of 8th International Conference on Typed Lambda Calculi and Applications (TLCA), Lecture Notes in Computer Science