[isabelle] Untyped formalized systems are wrong (blog post)

Please read and discuss my blog post "Untyped formalized systems are wrong" at


where I advocate using typed systems like HOL.

I really hope to start a discussion thread in blogs and/or mailing lists.

Victor Porton - http://portonvictor.org

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.