%0 Thesis %1 phd/ethos/Lakin10 %A Lakin, Matthew R. %D 2010 %K dblp %T An executable meta-language for inductive definitions with binders.

@phdthesis{phd/ethos/Lakin10, added-at = {2022-04-05T00:00:00.000+0200}, author = {Lakin, Matthew R.}, biburl = {https://www.bibsonomy.org/bibtex/28e188d012a5ab7d23d23121c6f0a9722/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608591}, interhash = {84f94574b4160d5515b7b8cada032efd}, intrahash = {8e188d012a5ab7d23d23121c6f0a9722}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2024-04-09T08:58:25.000+0200}, title = {An executable meta-language for inductive definitions with binders.}, year = 2010 }