Login / Signup
Galois Connections for Recursive Types.
Ahmad Salim Al-Sibahi
Thomas P. Jensen
Rasmus Ejlers Møgelberg
Andrzej Wasowski
Published in:
From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Keyphrases
</>
decision making
artificial intelligence
database
multiresolution
neural network
information systems
knowledge base