nLab Nuria Brede

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Selected writings

Selected writings

  • Nuria Brede, Hugo Herbelin, On the logical structure of choice and bar induction principles, LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy. (arXiv:2105.08951)
category: people

Created on April 14, 2025 at 18:16:27. See the history of this page for a list of all contributions to it.

EditDiscuss Cite Print Source