Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette - Jasmin - Document - PDFSEARCH.IO

First Page	Meta Content
	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Document Date: 2015-02-19 17:14:13 Open Document File Size: 220,90 KB Share Result on Facebook / Organization Jasmin Christian Blanchette Institut für Informatik / Technische Universität München / / Person Jasmin Christian Blanchette / / Position Prime Minister / selectors head / / Technology Mondex protocol / / SocialTag Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic

Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chetteAdd to Reading List