Sean Walsh
Affiliations:- University of California Irvine, Department of Logic and Philosophy of Science, CA, USA
- Birkbeck College, Department of Philosophy, London, UK (former)
According to our database1,
Sean Walsh
authored at least 11 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on andrej.com
On csauthors.net:
Bibliography
2024
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic.
CoRR, 2024
2017
2016
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.
Rev. Symb. Log., 2016
J. Symb. Log., 2016
J. Philos. Log., 2016
2015
2014
J. Appl. Log., 2014
2012
Ann. Pure Appl. Log., 2012