Back to Results
First PageMeta Content
Curry–Howard correspondence / Dependently typed programming / Logic in computer science / Philosophy of computer science / Type theory / Logic / Constructible universe / Ordinal number / Functor / Mathematical logic / Mathematics / Proof theory


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

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 255,73 KB

Share Result on Facebook

City

Saarbrücken / /

Country

Germany / United Kingdom / /

Facility

Middlesex University / /

IndustryTerm

witness generation algorithm / logical systems / minimal solution / prophylactic solution / type infrastructure / /

Organization

Technische Universität München / France Max-Planck-Institut für Informatik / Department of Computer Science / Middlesex University / School of Science and Technology / /

Person

Jasmin Christian / /

Position

assistant / Isabelle/HOL proof assistant / /

ProgrammingLanguage

Haskell / Java / /

Technology

functional programming / witness generation algorithm / Java / /

SocialTag