Theorem Proving for functional Programmers | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107663.pdf (preprint version ) (Open Access)13th International...

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

January 1986

Contains fulltext : 13352.pdf (publisher's version ) (Open Access

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

Contains fulltext : 13246.pdf (publisher's version ) (Open Access