Errata to: Linking Game-Theoretical Approaches with Constructive Type Theory

@inproceedings{Clerbout2015ErrataTL,
  title={Errata to: Linking Game-Theoretical Approaches with Constructive Type Theory},
  author={Nicolas Clerbout and Shahid Rahman},
  year={2015}
}
3 Citations

Topics from this paper

References

SHOWING 1-10 OF 29 REFERENCES
Intuitionistic type theory
Logik und Agon
  • Atti del XII Congresso Internazionale di Filosofia, Venezia, 187–194. Sansoni. (Reprinted in Lorenzen and Lorenz, 1978, 1–8).
  • 1960
First-Order Dialogical Games and Tableaux
On Hypothetical Judgements and Leibniz’s Notion of Conditional Right
On play-objects in dialogical games
  • Towards a dialogical approach to constructive type theory. In Modestly Radical or Radically Modest. Festschrift for Jean-Paul van Bendegem on the Occasion of his 60th Birthday, ed. P. Allo and B. van Kerkhove, 127–154. College Publications.
  • 2014
Inference and consequence in an interpreted language
  • Talk at the workshop Proof theory and philosophy, Groningen.
  • 2013
Ginzburg, J
  • 2012. The Interactive Stance: Meaning for Conversation. Oxford: Oxford University
  • 2012
Truth and Proof in Intuitionism
  • D. Prawitz
  • Philosophy, Computer Science
  • Epistemology versus Ontology
  • 2012
Figures of dialogue: a view from Ludics
...
1
2
3
...