Gerard Huet

Gerard Huet is the author of books such as Logical Foundations Of Functional Programming.

Books by Gerard Huet

Logical Foundations Of Functional Programming

Logical Foundations Of Functional Programming

No cover image available

Sanskrit Computational Linguistics

No cover image available

Logical Frameworks

No cover image available

Logical Environments