C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Framework for Substructural Type Systems.
James Wood
Robert Atkey
Published in:
ESOP (2022)
Keyphrases
</>
main contribution
complex systems
genetic algorithm
multiscale
theoretical framework
expert systems
trust management