Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.

Mallku Soldevila Rodrigo Ribeiro Beta Ziliani

Published in: CoRR (2024)

Keyphrases

general theory
formal methods
semantic information
theoretical framework
neural network
logic programming
speech acts
logical properties
data sets
data integration
computational model
query answering
model theoretic
proof theory
communicative acts