[FOM] Separation Logic & An unified Framework for Mathematics and Informatics

[Guillaume FORTAINE]

Hello,

Here seems to be the new way of thinking, towards the unification of 
programming languages and mathematics :

http://www.bcs-facs.org/events/EveningSeminars/slides/richard_bornat_08_12_05-handouts.pdf

http://www.dcs.qmul.ac.uk/~ohearn/localreasoning.html

http://alessio.guglielmi.name/res/cos/



Two great publications to go deeper in the field :

http://www.lix.polytechnique.fr/~lutz/papers/WhatLogicProof.pdf

http://wwwhomes.doc.ic.ac.uk/~ozank/Papers/aia05.pdf




Towards an unified Framework for Informatics and Mathematics :

http://www.phil.cmu.edu/projects/ast/

http://www.cs.auckland.ac.nz/CDMTCS/docs/ait.html

http://hopf.math.purdue.edu/



For me, all is only calculus, "a la Hilbert" ... ;) 



Best Regards,

                                Guillaume