LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu - Meta-programming - Document - PDFSEARCH.IO

First Page	Meta Content
	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Document Date: 2002-01-24 22:28:32 Open Document File Size: 230,37 KB Share Result on Facebook / IndustryTerm module systems / conceptual tool / type systems / deductive systems / / Organization Carnegie Mellon University / / Person FRANK PFENNING / / Position Constable / Harper / / SocialTag Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic

LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introduAdd to Reading List