Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy - Future Office System - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor		Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Download Document from Source Website File Size: 255,73 KB Share Document on Facebook

	Abigail Marsh Education Carnegie Mellon University, Pittsburgh, PA • Doctor of Philosophy in Computer Science August 2013 – Present DocID: 1v62l - View Document
	Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington. DocID: 1v4B5 - View Document
	WILLIAM B. FEDUS University of Montreal http://acsweb.ucsd.edu/~wfedus/ EDUCATION University of Montreal Doctor of Philosophy in Computer Science DocID: 1v1Yz - View Document
	Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer DocID: 1uBGP - View Document
	Modelling Assumption-Based Reasoning Using Contexts Mark Jago? School of Computer Science & Department of Philosophy University of Nottingham Nottingham, UK DocID: 1tPX0 - View Document