Pages that link to "Logic for Computable Functions"
The following pages link to Logic for Computable Functions:
Displayed 8 items.
- ML (programming language) (← links | edit)
- OCaml (← links | edit)
- LCF (← links | edit)
- Type theory (← links | edit)
- Robin Milner (← links | edit)
- Standard ML (← links | edit)
- Isabelle (proof assistant) (← links | edit)
- School of Informatics, University of Edinburgh (← links | edit)