Logic for Computable Functions

(language)   (LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

Last updated: 1995-01-06


Loading