Wil Dekkers

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automata theoretic account of proof search	2017-08-31	Paper
scientific article; zbMATH DE number 5852776 (Why is no real title available?)	2011-02-18	Paper
Are there Hilbert-style Pure Type Systems? Logical Methods in Computer Science	2008-08-07	Paper
Equivalences between pure type systems and systems of illative combinatory logic Notre Dame Journal of Formal Logic	2005-09-28	Paper
Pure type systems with more liberal rules Journal of Symbolic Logic	2002-11-13	Paper
scientific article; zbMATH DE number 1377703 (Why is no real title available?)	1999-12-14	Paper
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus Archive for Mathematical Logic	1999-03-07	Paper
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic Journal of Symbolic Logic	1999-02-02	Paper
Inhabitation of types in the simply typed lambda calculus Information and Computation	1995-08-01	Paper
Systems of illative combinatory logic complete for first-order propositional and predicate calculus Journal of Symbolic Logic	1994-07-07	Paper
Reducibility of types in typed lambda calculus. Comment on a paper by Richard Statman Information and Computation	1988-01-01	Paper

Research outcomes over time

This page was built for person: Wil Dekkers