แต่เดิม Reynolds เสนอความหมายเชิงสัมพันธ์สำหรับแคลคูลัสแลมบ์ดา polymorphic ลำดับที่สอง [1] อย่างไรก็ตามภายหลังเขาได้แสดงให้เห็นว่าวิธีนี้ไม่สอดคล้องกับทฤษฎีเซตแบบดั้งเดิม Pitts อธิบายกรอบของโมเดล hyperdoctrine และโมเดล topos [3] ซึ่งสอดคล้องกับตรรกะเชิงสร้างสรรค์
สันนิษฐานว่าได้มีการพัฒนา hyperdoctrine เชิงสัมพันธ์และโมเดล topos ฉันจะอ่านเกี่ยวกับพวกเขาได้ที่ไหน
- [1] ประเภท, นามธรรมและตัวแปรหลากหลาย
- [2] ความแตกต่างไม่ได้ตั้งทฤษฎี
- [3] ความแตกต่างคือตั้งทฤษฎี, สร้างสรรค์