Emmanuel Suárez Acevedo
- Making Logical Relations More Relatable (Proof Pearl)
2023/09/27 by Emmanuel Suárez Acevedo, Stephanie Weirich, Acevedo, Emmanuel Suárez +1 · 1 voice · 1 citation
Computer Science · #Logic, programming, and type systems #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge