3 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut de Mécanique et d'Ingénierie de BordeauxFR2 papers
- Science ClubUS2 papers
- California Institute of TechnologyUS1 paper
- Centre National d'Études SpatialesFR1 paper
- Cornell UniversityUS1 paper
- LAM FoundationUS1 paper
- National Institute for AstrophysicsIT1 paper
- Osservatorio di Astrofisica e Scienza dello Spazio1 paper
- SKA Telescope, South AfricaZA1 paper
- Stanford MedicineUS1 paper
- Stanford UniversityUS1 paper
- Sussex County Community CollegeUS1 paper
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that hand…
cs.LO2025
From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen, Ariel Grunfeld, Dominik Kirst +1
Partial Combinatory Algebras (PCAs) provide a foundational model of the untyped -calculus and serve as the basis for many notions of computability, such as realizability theory.…