Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss Add to Reading List Document Date: 2015-01-25 16:18:54 Open Document File Size: 362,91 KB Share Result on Facebook City Löwenheim / / / IndustryTerm automatic tools / search space / / Organization Institut für Informatik / Technische Universität München / / Person Alexander Krauss / / Product Archos TV+ Portable Video Player (PVP) / / RadioStation L AM / / SocialTag Model theory Symbol Lambda calculus Interpretation Structure Orbifold Curry–Howard correspondence Mathematics Mathematical logic Logic

Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander KraussAdd to Reading List