Search for Author All Reviews
	Howe, Douglas J.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Higher-order abstract syntax in classical higher-order logic Howe D.  LFMTP 2009 (Proceedings of the 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Montreal, Quebec, Canada, Aug 2, 2009) 1-11, 2009.  Type: Proceedings It is remarkable how apparently simple ideas can be difficult to formalize. A bound variable--a variable that has a scope, such as the body of the function for which it is a parameter--is a case in point. When the lam...... Apr 19 2010
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy