Inductive data type

Results: 9



#Item
1The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2014-05-15 11:45:56
2Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2015-07-02 10:00:20
3Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München  27 August 2014

Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04
4Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria

Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:14
5Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München  27 August 2014

Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2014-08-27 06:04:04
6Dependently Typed Functional Programs and their Proofs

Dependently Typed Functional Programs and their Proofs

Add to Reading List

Source URL: strictlypositive.org

Language: English - Date: 2007-10-10 18:00:00
7Transporting Functions across Ornaments Technical Report

Transporting Functions across Ornaments Technical Report

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-03-13 22:34:14
8Dependently Typed Functional Programs and their Proofs

Dependently Typed Functional Programs and their Proofs

Add to Reading List

Source URL: www.lfcs.inf.ed.ac.uk

Language: English - Date: 2000-09-13 12:40:18