[ Script Languages ] [ Programming Languages ] [ Markup Languages ] [ Functional Languages ]

• Formal Languages and Computation Theory
• A Formal Language for Analyzing Contracts by Nick Szabo
• CycL is a formal language whose syntax derives from first-order predicate calculus (the language of formal logic) and from Lisp.
• (ML)^2: A formal language for KADS models of expertise
• What is a Formal Language
• Formal Language Definitions

---