researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2000
2002
Filter by Tag
OR
AND
NOT
1
algebra
completeness
functional programming
optimization
termination
Filter by Author
OR
AND
NOT
1
Bart Jacobs
Burghard von Karger
Henk Doornbos
Hilary A. Priestley
Jeremy Gibbons
Peter Aczel
Richard S. Bird
Roland Carl Backhouse
Roy L. Crole
Shin-Cheng Mu
Filter by Top terms
[+]
OR
AND
NOT
1
10-14
2000
algebra
algebraic
algebras
april
calculating
calculus
coalgebraic
coalgebras
complete
connections
construction
exercises
fixed
functional
galois
international
methods
program
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (acmmpc)
Editions
Publications
Viewing Publication 1 - 10 from 10
2002
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Roland Carl Backhouse
,
Roy L. Crole
,
Jeremy Gibbons
, editors,
Volume 2297 of
Lecture Notes in Computer Science
, Springer,
2002.
2000
Algebras and Coalgebras
Peter Aczel
.
acmmpc 2002
:
79-88
[doi]
Galois Connections and Fixed Point Calculus
Roland Carl Backhouse
.
acmmpc 2002
:
89-148
[doi]
Algebraic Methods for Optimization Problems
Richard S. Bird
,
Jeremy Gibbons
,
Shin-Cheng Mu
.
acmmpc 2002
:
281-308
[doi]
Introduction
Roy L. Crole
.
acmmpc 2002
:
1-20
[doi]
Algebra of Program Termination
Henk Doornbos
,
Roland Carl Backhouse
.
acmmpc 2002
:
203-236
[doi]
Calculating Functional Programs
Jeremy Gibbons
.
acmmpc 2002
:
149-202
[doi]
Exercises in Coalgebraic Specification
Bart Jacobs
.
acmmpc 2002
:
237-280
[doi]
Ordered Sets and Complete Lattices
Hilary A. Priestley
.
acmmpc 2002
:
21-78
[doi]
Temporal Algebra
Burghard von Karger
.
acmmpc 2002
:
309-385
[doi]
Sign in
or
sign up
to see more results.