equal
deleted
inserted
replaced
6 <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a> |
6 <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a> |
7 is a version of classical higher-order logic resembling |
7 is a version of classical higher-order logic resembling |
8 that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. |
8 that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. |
9 </li> |
9 </li> |
10 |
10 |
11 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a> |
11 <ul> |
12 adds Scott's Logic for Computable Functions (domain theory) to HOL. |
12 <li><a href="HOL/HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a> |
13 </li> |
13 formalizes a model of Scott's Logic for Computable Functions (domain theory) in HOL. |
|
14 </li> |
|
15 </ul> |
14 </ul> |
16 </ul> |
15 </li> |
17 </li> |
16 </ul> |
18 </ul> |
17 |
19 |
18 <ul> |
20 <ul> |