Skip to main content

5 Result(s)

within Robin Cooper Remove this filter Philosophy Remove this filter Logic Remove this filter

and

  1. Article

    Open Access

    Representing Types as Neural Events

    One of the claims of Type Theory with Records is that it can be used to model types learned by agents in order to classify objects and events in the world, including speech events. That is, the types can be re...

    Robin Cooper in Journal of Logic, Language and Information (2019)

    Download PDF (337 KB) View Article

  2. No Access

    Article

    Quotation via Dialogical Interaction

    Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an accou...

    Jonathan Ginzburg, Robin Cooper in Journal of Logic, Language and Information (2014)

  3. No Access

    Article

    Dialogue Systems as Proof Editors

    This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a s...

    Aarne Ranta, Robin Cooper in Journal of Logic, Language and Information (2004)

  4. No Access

    Article

    Afterword

    Robin Cooper in Journal of Logic, Language and Information (2003)

  5. No Access

    Book

    Categorial Grammars and Natural Language Structures

    Richard T. Oehrle, Emmon Bach… in Studies in Linguistics and Philosophy (1988)