Dan Frumin
- Modular Denotational Semantics for Effects with Guarded Interaction Trees
2023/07/17 by Dan Frumin, Amin Timany, Frumin, Dan +3 · 3 citations
Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Logic, programming, and type systems