Induction and Recursion on Datatypes (1995)

Cached

Download Links

by Roland Backhouse , Henk Doornbos
Citations:16 - 7 self

Active Bibliography

1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
Category Theory as Coherently Constructive Lattice Theory: An Illustration – Roland Backhouse And, Marcel Bijsterveld - 1995
4 Mathematical Induction Made Calculational – Roland Backhouse, Henk Doornbos - 1994
1 A Calculational Approach to Mathematical Induction – Henk Doornbos, Roland Backhouse, Jaap Van Der Woude - 1994
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
11 Characterizing Determinacy in Kleene Algebras – Jules Desharnais, Bernhard Möller - 2000
10 Kleene Under a Demonic Star – Jules Desharnais, Bernhard Möller, Fairouz Tchier - 2000
6 Categorical Fixed Point Calculus – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1995
5 Knowledge Representation and Acquisition By Concept Lattices – J. J. Sarbo, J.I. Farkas - 1995
AND SUBLATTICES OF R n – Sublattices Of R N, Maurice Queyranne, Fabio Tardella, Maurice Queyranne, Fabio Tardella - 1298
© Hindawi Publishing Corp. DEMONIC SEMANTICS: USING MONOTYPES AND RESIDUALS – F. Tchier - 2002
8 A Relational Basis for Program Construction by Parts – Marc Frappier - 1995
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
Meta-Programming with Tabaluga – Jan Kort, Ralf Lämmel, Joost Visser
Towards a Theory of Moa – Maarten Fokkinga - 2000
1 Calculating linear time algorithms for solving maximum weightsum problems – Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa - 2001
5 The Calculation of a Polytypic Parser – Marieke Huisman - 1996