Reduction Monads and Their Signatures
Keywords
Categorical semantics Additional Key Words and Phrases: Initial semantics
computer-checked proofs
Higher-order languages
CCS Concepts: • Theory of computation → Equational logic and rewriting
Monads
Lambda calculus
and phrases free monads
Reduction systems
initial semantics
presentation of monads
signatures
monadic substitution
syntax
Origin : Publication funded by an institution
Loading...