Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2 - Polymorphism - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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