Pages that link to "Logic for Computable Functions"

The following pages link to Logic for Computable Functions:

Showing 25 items.

• ML (programming language) ‎ (links)
• Futhark (programming language) ‎ (links)
• OCaml ‎ (links)
• LCF ‎ (links)
• Type theory ‎ (links)
• Robin Milner ‎ (links)
• Standard ML ‎ (links)
• LEGO (proof assistant) ‎ (links)
• Caml ‎ (links)
• Reason (programming language) ‎ (links)
• Isabelle (proof assistant) ‎ (links)
• HOL (proof assistant) ‎ (links)
• Logic for Computable Functions (transclusion) ‎ (links)
• Haxe ‎ (links)
• MTASC ‎ (links)
• ATS (programming language) ‎ (links)
• MacroML ‎ (links)
• FFTW ‎ (links)
• F Sharp (programming language) ‎ (links)
• Logic of Computable Functions ‎ (links)
• Alice (programming language) ‎ (links)
• Don Sannella ‎ (links)
• LCF (theorem prover) (redirect page) ‎ (links)
  • Automated theorem proving ‎ (links)
  • List of open-source software for mathematics ‎ (links)
  • HOL (proof assistant) ‎ (links)
• Extended ML ‎ (links)
• Template:ML programming ‎ (links)