Wil Dekkers

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 1

Top Topics

Automata Theoretic

Top Venues

Publications

Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt
Automata Theoretic Account of Proof Search. CSL (2015)
Wil Dekkers
Weak mu-equality is decidable CoRR (2011)
Martin W. Bunder, Wil Dekkers
Are there Hilbert-style Pure Type Systems? Log. Methods Comput. Sci. 4 (1) (2008)
Martin W. Bunder, Wil Dekkers
Are there Hilbert-style Pure Type Systems? CoRR (2007)
Martin W. Bunder, Wil Dekkers
Pure Type Systems with More Liberal Rules. J. Symb. Log. 66 (4) (2001)
Wil Dekkers, Martin W. Bunder, Henk Barendregt
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic. J. Symb. Log. 63 (3) (1998)
Wil Dekkers, Martin W. Bunder, Henk Barendregt
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Arch. Math. Log. 37 (5-6) (1998)
Wil Dekkers
Inhabitation of Types in the Simply Typed Lambda Calculus Inf. Comput. 119 (1) (1995)
Henk Barendregt, Martin W. Bunder, Wil Dekkers
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. J. Symb. Log. 58 (3) (1993)
Wil Dekkers
Reducibility of Types in Typed Lambda Calculus: Comment on a Paper by Richard Statman Inf. Comput. 77 (2) (1988)