Syntax Monads for the Working Formal Metatheorist.

Lawrence Dunn Val Tannen Steve Zdancewic

Published in: CoRR (2023)

Keyphrases

precisely defined
operational semantics
machine processable
formal methods
artificial intelligence
natural language
formal model
formal specification
e learning
multiresolution
formal analysis
mathematical theory
predicate calculus