LCF ⇝

Logic for Computable Functions

<language>

(LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

Last updated: 1995-01-06

Nearby terms:

logic emulatorLogic for Computable Functionslogic gatelogic programming

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading