Higher-Order Abstract Syntax in Isabelle/HOL

From MaRDI portal
Publication:5747671