scientific article; zbMATH DE number 1231630

MaRDI QIDQ4222953zbMATH OpenFDO

Authors Dusko Pavlovic

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11008

zbMATH Keywords

categorical semantics of guarded induction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Guard your daggers and traces: properties of guarded (co-)recursion
• Guard your daggers and traces: on the equational properties of guarded (co-)recursion
• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
• Programming and reasoning with guarded recursion for coinductive types
• scientific article; zbMATH DE number 1497878

Cited in

(6)

• The continuum as a final coalgebra
• Generalizing inference systems by coaxioms
• On coalgebra of real numbers
• An efficient query rewriting approach for Web cached data management
• Parametric corecursion
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222953)