New, Max S.

1. A Formal Logic for Formal Category Theory (Extended Version)
   2022/10/16 by New, Max S., Licata, Daniel R. · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
2. Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
   2024/11/19 by Eric Giovannini, Tingting Ding, Giovannini, Eric +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies