Sara Ayhan
Orcid: 0000-0002-7356-9914
According to our database1,
Sara Ayhan
authored at least 7 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.
CoRR, 2023
CoRR, 2023
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.
CoRR, 2023
2022
2021
2020