W. Dekkers

Essay. Discontinuing dialysis: patient's wishes and professional judgement (1999)

Lelie, A, Dekkers, W, Van Hamersvelt, H, Huysmans, F, Ten Have, H

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (1998)

Barendregt, H.P., Dekkers, W., Bunder, M.

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (1998)

Dekkers, W., Bunder, M., Barendregt, H.P.

Review: Book Review (1998)

Barendregt, H., Dekkers, W.

Inhabitation of Types in the Simply Typed Lambda-Calculus (1995)

Dekkers, W.

Systems of illative combinatory logic complete for first-order propositional and predicate calculus (1993)

Dekkers, W., Bunder, M., Barendregt, H.P.

Sham neurosurgery in patients with Parkinson's disease: is it morally acceptable?

Dekkers, W., Boer, G.

For a few decades, patients with Parkinson's disease (PD) have been treated with intracerebral transplantations of fetal mesencephalic tissue. The results of open trials have been variable. Double...