BENEDIKT AHRENS
- Modules over relative monads for syntax and semantics
2011/07/31 by Benedikt Ahrens, BENEDIKT AHRENS · 1 citation
Computer Science · #Abstract syntax #Class (philosophy) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Object (grammar) #Operational semantics #Proof assistant #Reduction (mathematics) #Semantics (computer science) #Signature (topology) #Syntax #cs.LO #cs.PL #semigroups and automata theory