Dauser, Adam

1. Uniqueness of six-functor formalisms
   2024/12/20 by Adam Dauser, Dauser, Adam, Josefien Kuijper +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems