R. Brandom, Articulating Reasons: An Introduction to Inferentialism, 2000.

N. Clerbout, First-Order Dialogical Games and Tableaux, Journal of Philosophical Logic, vol.127, issue.4, pp.785-801, 2014.
DOI : 10.1007/s10992-013-9289-z

N. Clerbout, La sémantique dialogique: Notions fondamentales et éléments de metathéorie, 2014.

N. Clerbout and S. Rahman, On Dialogues, Predication and Elementary Sentences, pp.7-46, 2013.
URL : https://hal.archives-ouvertes.fr/halshs-01225767

N. Clerbout and S. Rahman, Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies as CTT-Demonstrations, 2015.
DOI : 10.1007/978-3-319-19063-1

A. B. Dango, Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types, 2015.

M. Dummett, Frege: Philosophy of Language, 1973.

M. Dummett, The Logical Basis of Metaphysics, 1991.

M. Dummett, Language and truth " . En The Seas of Language, 1993.

C. Dutilh-novaes and . Dialectica, A Dialogical, Multi-Agent Account of the Normativity of Logic, Dialectica, vol.50, issue.3, pp.587-609, 2015.
DOI : 10.1111/1746-8361.12118

W. Felscher, Dialogues as a foundation for intuitionistic logic, Handbook of Philosophical Logic, pp.341-372, 1985.

W. Felscher, Review of Jean E. Rubin 'Mathematical logic: applications and theory, The Journal of Symbolic Logic 59, pp.670-671, 1994.

M. Fontaine, Argumentation et engagement ontologique. Être, c'est être choisi, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01137248

J. Granström, Treatise on Intuitionistic Type Theory, 2011.
DOI : 10.1007/978-94-007-1736-7

G. W. Hegel, Ciencia de la Lógica, Wissenschaft der Logik, 2013.

J. Hintikka, Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, 1973.

J. Hintikka, Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth- Century Philosophy, 1996.
DOI : 10.1007/978-94-015-8601-6

R. Jovanovic, Hintikka's Take on the Axiom of Choice and the Constructivist Challenge, Revista de Humanidades de Valparaiso, pp.135-152, 2013.

L. Keiff, Le Pluralisme Dialogique: Approches dynamiques de largumentation formelle, 2007.

L. Keiff-en and E. N. Zalta, Dialogical Logic The Stanford Encyclopedia of Philosophy, URL http, 2009.

K. Lorenz, Elemente der Sprachkritik.Eine Alternative zum Dogmatismus und Skeptizismus in der Analytischen Philosophie, 1970.

K. Lorenz, Basic objectives of dialogue logic in historical perspective New Perspectives in Dialogical Logic, Synthese, vol.127, issue.1/2, pp.255-263, 2001.
DOI : 10.1023/A:1010367416884

K. Lorenz, Logic, Language and Method: On Polarities in Human Experience, 2010.
DOI : 10.1515/9783110216790

K. Lorenz, Philosophische Variationen: Gesammelte Aufstze unter Einschluss gemeinsam mit J¨urgen Mittelstraß geschriebener Arbeiten zu Platon und Leibniz, 2010.
DOI : 10.1515/9783110218800

P. Lorenzen and K. Lorenz, Dialogische Logik, 1978.

P. Lorenzen and O. Schwemmer, Konstruktive Logik, Ethik und Wissenschaftstheorie, Mannheim: Bibliographisches Institut, 1975.

M. Marion and H. Rückert, Aristotle on Universal Quantification: A Study form the Perspective of Game Semantics " . History and Philosophy of Logic, 2015.

. Martin-löf, Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980.

B. Nordström, K. Petersson, and J. M. Smith, Programming in Martin-Löf's Type Theory: An Introduction, 1990.

D. Prawitz, Truth and Proof in, Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, pp.45-68, 2012.

G. Primiero, Constructive modalities for information " . Presentación en el evento Young Researchers Days in Logic, Philosophy and History of Science, pp.1-2, 2008.

G. Primiero, A contextual type theory with judgmental modalities for reasoning from open assumptions, pp.579-600, 2012.

S. Rahman, Über Dialogue, Protologische Kategorien und andere Seltenheiten, 1993.

S. Rahman-en, S. Rahman, and G. Primiero, Negation in the Logic of First Degree Entailment and Tonk, pp.213-250, 2012.
DOI : 10.1007/978-94-007-1923-1_12

S. Rahman-en and C. , From Dialogue To Dialogue: Conversations and the Dialogical Approach to Meaning, 2014.

S. Rahman, On Hypothetical Judgements and Leibniz???s Notion of Conditional Right, 2015.
DOI : 10.1007/978-3-319-16021-4_7

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Approach to Meaning " . The Baltic International Yearbook of Cognition, Logic and Communication:Games, Game Theory and Game Semantics, pp.1-72, 2013.
URL : https://hal.archives-ouvertes.fr/halshs-01225723

S. Rahman and N. Clerbout, Constructive Type Theory and the Dialogical Turn, Dialogische Logik. Münster: Mentis, pp.91-148, 2014.
URL : https://hal.archives-ouvertes.fr/halshs-01226069

S. Rahman, N. Clerbout, and R. Jovanovic, The Dialogical Take on Martin-Löf's Proof of the Axiom of Choice, South American Journal of Logic, vol.1, issue.1, pp.179-208, 2015.

S. Rahman, N. Clerbout, and L. Keiff, On Dialogues and Natural Deduction Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm, pp.301-336, 2009.

S. Rahman, N. Clerbout, and Z. Mcconaughey, On play-objects in dialogical games. Towards a Dialogical approach to Constructive Type Theory, Modestly radical or radically modest. Festschrift for Jean-Paul van Bendegem, pp.127-154, 2014.

S. Rahman and L. Keiff, On How to Be a Dialogician, Logic, Thought, and Action. Dordrecht: Kluwer, pp.359-408, 2005.
DOI : 10.1007/1-4020-3167-X_17

URL : https://hal.archives-ouvertes.fr/halshs-00195931

S. Rahman and L. Keiff, La Dialectique entre Logique et Rhétorique, pp.149-178, 2010.

S. Rahman and J. Redmond, A Dialogical Frame for Fictions as Hypothetical Objects, Filosofía Unisinos, vol.16, issue.1, pp.2-21, 2015.
URL : https://hal.archives-ouvertes.fr/halshs-01216227

A. Ranta, Propositions as games as types, Synthese 76, pp.377-395, 1988.
DOI : 10.1007/BF00869607

A. Ranta, Constructing possible worlds*, Theoria, vol.15, issue.1-2, pp.77-99, 1991.
DOI : 10.1111/j.1755-2567.1991.tb00541.x

A. Ranta, Type-Theoretical Grammar, 1994.

S. Read, General-Elimination Harmony and the Meaning of the Logical Constants, Journal of Philosophical Logic, vol.14, issue.5, pp.557-576, 2010.
DOI : 10.1007/s10992-010-9133-7

R. Recorde, The Whetstone of Witte, 1557.

J. Redmond, Logique dynamique de la fiction: Pour une approche dialogique, 2010.

J. , R. , and M. Fontaine, How to Play Dialogues: An Introduction to Dialogical Logic, 2011.

J. , R. , and S. Rahman, Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos, Theoria, vol.31, issue.1, pp.27-53, 2016.

G. Sundholm, Constructions, proofs and the meaning of logical constants, Journal of Philosophical Logic, vol.12, issue.2, pp.151-172, 1983.
DOI : 10.1007/BF00247187

G. Sundholm, Proof-theory and meaning, Handbook of Philosophical Logic Dordrecht: Reidel, pp.471-506, 1986.

G. Sundholm, Implicit epistemic aspects of constructive logic, Journal of Logic, Language and Information, vol.6, issue.2, pp.191-212, 1997.
DOI : 10.1023/A:1008266418092

G. Sundholm, Inference versus Consequence The Logica Yearbook, Filosofia, pp.26-36, 1997.

G. Sundholm, A Plea for Logical Atavism The Logica Yearbook, Filosofia, pp.151-162, 2000.

G. Sundholm, A Century of Judgment and Inference The Development of Modern Logic, pp.1837-1936, 2009.

G. Sundholm, Inference and Consequence in an Interpreted Language, Presentación en el Workshop Proof theory and Philosophy, 2013.

G. Sundholm, Independence Friendly Language is First Order after all, 2016.

S. Thompson, Type Theory and Functional Programming, 1991.

L. Wittgenstein, Tractatus Logico-Philosophi, 1922.