vix.ing · top · new · best · stats · spec

Borja Sierra Miranda

  1. Coalgebraic proof translations for non-wellfounded proofs
    2025/06/02 by Borja Sierra Miranda, Miranda, Borja Sierra, Thomas Studer +3 · 3 citations
    Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems