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
3 papers · 1 filter
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…
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.…
Bridging advection and diffusion in the encounter dynamics of sedimenting marine snow
Jan Turczynowicz, Radost Waszkiewicz, Jonasz Słomka +1
Sinking marine snow particles, composed primarily of organic matter, control the global export of photosynthetically fixed carbon from the ocean surface to depth. The fate of sedim…