FRINATEK-Fri prosj.st. mat.,naturv.,tek
Applications of proof interpretations in nonlinear analysis
For enkelthets skyld tar jeg her utgangspunkt i den populærvitenskapelige framstillingen fra
prosjektets forrige framdriftsrapport (med rapporteringsfrist 20111001) som kjent bakgrunnsstoff. Hovedsaklig har jeg i perioden etter dette arbeidet med å vide reutvikle
funksjonalinterpretasjonen for ...