meaning of logic for computable functions

1. Logic for Computable Functions LCF Part of the Edinburgh proof assistant. [What is it? Address?]

Related Words

logic for computable functions |

Developed & Maintained By Taraprasad.com