Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Category theory
• Mathematics
• Theoretical computer science
• Software engineering
• Functional programming
• Computer programming
• Recursion
• F-coalgebra
• Coinduction
• Coalgebra
• Corecursion
• First-order logic

Structured general corecursion and coinductive graphs [extended abstract] Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Estonia

Source URL: cs.ioc.ee

PDF Document

Source URL: www.eis.mdx.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Recursion
• Theoretical computer science
• Functional programming
• Category theory
• Subroutines
• Corecursion
• Fold
• Coinduction
• Tail call

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

Source URL: www.cs.bham.ac.uk

Safe Corecursion in coFJ∗ Davide Ancona Elena Zucca

Source URL: types.cs.washington.edu

DRAFT of March 29, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel

Source URL: www2.tcs.ifi.lmu.de

• Recursion
• Programming idioms
• Theoretical computer science
• Higher-order functions
• Self-reference
• Fold
• Corecursion
• Map
• Pattern matching
• Computer programming
• Software engineering
• Computing

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

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

• Recursion
• Type theory
• Data types
• Self-reference
• Theoretical computer science
• Recursive data type
• Corecursion
• Standard ML
• Inductive data type
• Computer programming
• Software engineering
• Computing

Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu

Source URL: www21.in.tum.de

• Recursion
• Theoretical computer science
• Category theory
• Functional programming
• Higher-order functions
• Corecursion
• Fold
• Coinduction
• Map
• Software engineering
• Computer programming
• Declarative programming

Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3

Source URL: www21.in.tum.de

• Recursion
• Theoretical computer science
• Computability theory
• Ordinal numbers
• Fold
• Constructible universe
• Corecursion
• Standard ML
• Lambda calculus
• Mathematical logic
• Software engineering
• Computing