A Fixed Point Theorem Based on Miranda

A Fixed Point Theorem Based on Miranda