Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Bakke Graduate UniversityUS2 papers
- FZU ‒ Institute of Physics of the Academy of Sciences of the Czech RepublicCZ2 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR2 papers
- Polish Academy of SciencesPL2 papers
- University of WarsawPL2 papers
- Czech Technical University in PragueCZ1 paper
- ETH ZurichCH1 paper
- Institute of Inorganic Chemistry of the Slovak Academy of SciencesSK1 paper
- Open Rights GroupGB1 paper
- University of SeoulKR1 paper
- University of TübingenDE1 paper
- Walmart (United States)US1 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.…