## Patricia Johann, Neil Ghani

*Initial Algebra Semantics Is Enough!*

TLCA, 2007.

@inproceedings{TLCA-2007-JohannG, author = "Patricia Johann and Neil Ghani", booktitle = "{Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-540-73228-0_16", isbn = "978-3-540-73227-3", pages = "207--222", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Initial Algebra Semantics Is Enough!}", volume = 4583, year = 2007, }