S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. Springer (2018). https://www.springer.com/gp/book/9783319911489.
Para uma aplicação da abordagem dialógica da teoria do tipo intuicionista ao 'axioma da escolha' ver S. Rahman e N. Clerbout: Linking Games and Constructive Type Theory: Dialogical Strategies, CTT-Demonstrations and the Axiom of Choice. Springer-Briefs (2015). https://www.springer.com/gp/book/9783319190624.
S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. Springer (2018). https://www.springer.com/gp/book/9783319911489.
Para uma aplicação da abordagem dialógica da teoria do tipo intuicionista ao 'axioma da escolha' ver S. Rahman e N. Clerbout: Linking Games and Constructive Type Theory: Dialogical Strategies, CTT-Demonstrations and the Axiom of Choice. Springer-Briefs (2015). https://www.springer.com/gp/book/9783319190624.
