Back to Results
First PageMeta Content
Mathematical logic / Metalogic / Logic / Model theory / Type theory / Proof assistants / Proof theory / Higher-order logic / Theoretical computer science / Isabelle / Simply typed lambda calculus / Gdel's incompleteness theorems


Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2
Add to Reading List

Document Date: 2016-04-20 00:08:12

Open Document

File Size: 312,33 KB

Share Result on Facebook
UPDATE