Anupam Das

Researcher in proof theory, logic and complexity

Menu
  • Home
  • CV
  • Research
  • MiLC
  • Contact

A recursion-theoretic characterisation of the positive polynomial-time functions

March 2018

Preprint

Read more

MiLC project proposal

September 2017

Read more

MiLC Grant Agreement

September 2017

Read more

MiLC Evaluation Summary Report

September 2017

Read more

eu-flag

September 2017

Read more

  • Categories

    • Logic and complexity
    • Proof theory
    • Rewriting theory

Anupam Das © 2023

Theme by WP Puzzle

➤