de Jong, Tom

1. Domain Theory in Constructive and Predicative Univalent Foundations
   2020/08/04 by de Jong, Tom, Escardó, Martín Hötzel · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. The Scott model of PCF in univalent type theory
   2019/04/22 by de Jong, Tom · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Predicative Aspects of Order Theory in Univalent Foundations
   2021/02/17 by de Jong, Tom, Escardó, Martín Hötzel · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
4. Formalizing equivalences without tears
   2024/08/21 by Tom de Jong, de Jong, Tom · 1 citation
   Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)