|
From: | Gabriel Dos Reis |
Subject: | Re: [Axiom-developer] Proving Axiom Correct |
Date: | Thu, 12 Jan 2017 19:14:26 -0800 |
the formal logic basis.just a domain specific language implemented in Lisp then Spad sharesThe point is that Lisp has a formal logic basis and, as Spad is reallywhether your language is discovered or invented".are "invented" with no formal basis (e.g. C). As he says, "you can tell"discovered" based on fundamental logic principles (e.g.Lisp) and othersHe makes the interesting point late in the talk that some languages areTypes", a very entertaining talk, is here:I'm making progress on proving Axiom correct both at the Spad level andthe Lisp level. One interesting talk by Phillip Wadler on "Propositions as
https://www.youtube.com/watch?v=IOiZatlZtGU
_______________________________________________
Axiom-developer mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/axiom- developer
[Prev in Thread] | Current Thread | [Next in Thread] |