하이브리드 교차 유형을 이용한 PCF의 확장 버전

하이브리드 평가 전략을 가진 PCFH에 대한 비-멱등 교차 유형 시스템을 제안하며, 이는 정규화 특성을 완전히 포착할 수 있고 정량적 정보를 제공할 수 있다.