Similar Items: On Berry's conjectures about the stable order in PCF
- The recursion hierarchy for PCF is strict
- A coherent differential PCF
- A Fully Abstract Model of PCF Based on Extended Addressing Machines
- Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Tameness in least fixed-point logic and McColm's conjecture