Thomas Powell

Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma

Thomas Powell, Thomas Powell, 2012, CL&C.

On bar recursive interpretations of analysis

Thomas Powell, Thomas Powell, 2013 .

Bar recursion over finite partial functions pdf

Paulo Oliva, Thomas Powell, 2017, Ann. Pure Appl. Log..

On Spector's bar recursion

Paulo Oliva, Thomas Powell, 2012, Math. Log. Q..

A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis pdf

Paulo Oliva, Thomas Powell, 2012, ArXiv.

Field test results for a 3-phase 12.47 kV 1 MVA power router

Hao Chen, Deepak Divan, Joe Schatz, 2016, 2016 IEEE Energy Conversion Congress and Exposition (ECCE).

On Vertical Compound Engines Fitted with Correy's Variable Expansion Gear

Thomas Powell, 1878 .

System T and the Product of Selection Functions

Martín Hötzel Escardó, Paulo Oliva, Thomas Powell, 2011, CSL.