An S4 extension of the λμμ-calculus.

Published in: J. Inf. Process. (2023)

Keyphrases

decision making
neural network
information retrieval
data structure
logic programming
automated deduction