Higher-Order Game Theory Paulo Oliva Queen Mary University of London School of Electronic Engineering and Computer Science London, E1 4NS United Kingdom of Great Britain and Northern Ireland

Source URL: logica.dmi.unisa.it

• Computability theory
• Recursion
• Operations research
• Bar recursion
• FP
• Oliva
• Mathematical optimization

On Bar Recursion and Choice in a Classical Setting Valentin Blot and Colin Riba ENS de Lyon, Universit´e de Lyon, LIP ? http://perso.ens-lyon.fr/valentin.blot/ http://per

Source URL: perso.ens-lyon.fr

BRICS Basic Research in Computer Science BRICS RSBerger & Oliva: Modified Bar Recursion Modified Bar Recursion

Source URL: www.brics.dk

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN

Source URL: www.cs.bham.ac.uk

• Primitive recursive function
• Mathematical logic
• Philosophy of mathematics
• Fourier analysis
• Jensen hierarchy
• Mathematics
• Computability theory
• Constructible universe

Understanding and Using Spector’s Bar Recursion Understanding and Using Spector’s Bar Recursion Paulo Oliva Queen Mary, University of London, UK

Source URL: www.cs.swan.ac.uk

• X3
• GEC
• John Petrucci

Natural Law: The Dynamics of Syntactic Representations in MP

Source URL: opus.kobv.de

• Generative linguistics
• Noam Chomsky
• Programming idioms
• Grammar
• Theoretical computer science
• Merge
• X-bar theory
• Recursion
• Minimalist program
• Linguistics
• Syntax
• Language

Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea

Source URL: www-compsci.swan.ac.uk

• Structural induction
• Mathematical proof
• Mathematical induction
• Well-quasi-ordering
• Axiom of choice
• Recursion
• Intuitionistic type theory
• Well-founded relation
• Bar induction
• Mathematics
• Mathematical logic
• Logic