Simão Melo de Sousa

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Operational Semantics

Intermediate Representations

Electronic Transactions

Top Venues

J. Log. Algebraic Methods Program.

Publications