Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — - Computable model theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Document Date: 2013-04-24 15:15:34 Open Document File Size: 361,88 KB Share Result on Facebook Company IdC / Marcelo Fiore Makoto Hamana Computer Laboratory / / Event Product Recall / Product Issues / / Facility University of Cambridge Dept. / / IndustryTerm manufacturing categories / equational deductive systems / polymorphic systems / mathematical tools / equational systems / / Organization Gunma University / University of Cambridge Dept. of Computer Science / / Person Nat / Ty / / Product System F / / ProgrammingLanguage C++ / Scala / / ProvinceOrState Mississippi / / Technology functional programming / XML / CAT / / SocialTag Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra

Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic —Add to Reading List