Sciweavers

Share
ITP
2010

Higher-Order Abstract Syntax in Isabelle/HOL

8 years 3 months ago
Higher-Order Abstract Syntax in Isabelle/HOL
rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8
Douglas J. Howe
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ITP
Authors Douglas J. Howe
Comments (0)
books