The following pages link to Gilles Dowek (Q436401):
Displayed 46 items.
- On the convergence of reduction-based and model-based methods in proof theory (Q3644841) (← links)
- (Q3986688) (← links)
- (Q4035236) (← links)
- Collections, sets and types (Q4237910) (← links)
- (Q4246945) (← links)
- A Complete Proof Synthesis Method for the Cube of Type Systems (Q4276174) (← links)
- (Q4281470) (← links)
- (Q4303686) (← links)
- (Q4365102) (← links)
- (Q4428296) (← links)
- (Q4447217) (← links)
- (Q4503899) (← links)
- (Q4518864) (← links)
- Proof normalization modulo (Q4650285) (← links)
- (Q4736827) (← links)
- (Q4787249) (← links)
- (Q4871733) (← links)
- THE PHYSICAL CHURCH-TURING THESIS AND THE PRINCIPLES OF QUANTUM THEORY (Q4902897) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- Real Numbers, Chaos, and the Principle of a Bounded Density of Information (Q4928498) (← links)
- (Q4938612) (← links)
- (Q4944850) (← links)
- (Q4983482) (← links)
- (Q4992399) (← links)
- (Q4994968) (← links)
- (Q5013815) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- (Q5089014) (← links)
- (Q5111441) (← links)
- (Q5123182) (← links)
- (Q5150132) (← links)
- The Age of Algorithms (Q5205975) (← links)
- (Q5219928) (← links)
- Automated Deduction – CADE-20 (Q5394602) (← links)
- (Q5412237) (← links)
- A Simple Proof That Super-Consistency Implies Cut Elimination (Q5432335) (← links)
- (Q5435631) (← links)
- (Q5438966) (← links)
- Term Rewriting and Applications (Q5703867) (← links)
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs (Q5879268) (← links)
- A modular construction of type theories (Q5883738) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- (Q6159937) (← links)
- A toy model provably featuring an arrow of time without past hypothesis (Q6440036) (← links)