Graph explorer

Christian Retoré

Christian Retoré contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewChristian Retoré
13 nodes12 links
Christian Retoré13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAChristian RetoréResearcherWFlag: a Self-Dual Modal...preprint / 2021WSpecimens: "most of...preprint / 2011WVariable types for mean...preprint / 2012WOn the system F as a gl...preprint / 2011WLogique mathématique et...preprint / 2013WSémantique des détermin...preprint / 2013WType-theoretical natura...preprint / 2013WA type theoretical fram...preprint / 2014WQuantification in ordin...preprint / 2011WSome proof theoretical ...preprint / 2013WLearning Lambek grammar...preprint / 2013WAdvances in the Logical...preprint / 2013
PersonSignal 1012 links

Christian Retoré

Researcher

Open