Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Document Date: 2006-08-09 04:38:59 Open Document File Size: 220,72 KB Share Result on Facebook Currency pence / / Person Meta-Logical Frameworks / Meta-Logical Frameworks Lecture / Carsten Sch / / Technology same technology / / SocialTag Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science

Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006Add to Reading List