![Proof theory / Propositional calculus / Dependently typed programming / Type theory / Formal languages / First-order logic / Natural deduction / Higher-order abstract syntax / Logical framework / Logic / Mathematical logic / Mathematics Proof theory / Propositional calculus / Dependently typed programming / Type theory / Formal languages / First-order logic / Natural deduction / Higher-order abstract syntax / Logical framework / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/b95a658e72a1f33726341523624f8b43.jpg) Date: 2002-01-24 22:28:32Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics | | 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 ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 230,37 KBShare Document on Facebook
|