Return to Article Details A propositions-as-types approach to the generalized crossover effect Download Download PDF