OXFORD UNIVERSITY COMPUTING LABORATORY

Guarded induction on final coalgebras

Dusko Pavlović

info

journal

E. Notes in Theor. Comp. Sci.

pages

143—160

volume

11

year

1998

links

BibTeX

Link

related pages

people

Random Image
Random Image
Random Image