Enviar aquest missatge de text: Fully Complete Minimal PER Models for the Simply Typed λ−calculus