[_a_a_a_]

Okay then. Please give some links to the following.

– Lambda calculus tutorial that gets you up to what you need to understand the referenced paper in 15 minutes

- A description of Hoare notation that I can also understand to adequate depth to understand the referenced paper, also in 15 minutes

- A description of classical logic etc. etc. 15 minutes

- A description of intuitionistic logic etc. etc. 15 minutes (presumably in how it differs from classical)

These would be very useful. If you can also explain them in a way that would allow me to use the information I've learnt in an hour to do something useful with programs like represent them, transform them, verify them against a specification, I would gladly spend a couple of weeks or a month doing that, genuinely.

If you can't do any of these things, please stop posting how easy it all is

[sordina]

Mate, the point I was making is that 15 minutes is not a reasonable time frame to learn new programming concepts in.

[_a_a_a_]

You're right, I should read more carefully. Nonetheless, my point still stands, if you can give me some resources to learn these things, with considerably more than 15 minutes allowed, and bearing in mind I have no one to ask when I get stuck, and at my end aim is to actually use these things rather than treat them as interesting (which I already find them so) then I'd be grateful.