Logic for Computable Functions

Technology Dictionary -> Logic for Computable Functions

Search:

Logic for Computable Functions



(LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

(1995-01-06)