Representations of Stream Processors Using Nested Fixed Points

DOI10.2168/LMCS-5(3:9)2009zbMath1189.68031arXiv0905.4813MaRDI QIDQ3401133

Dirk Pattinson, Peter G. Hancock, Neil Ghani

Publication date: 28 January 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.4813

zbMATH Keywords

final coalgebrascontinuous functionsinitial algebrasstreams

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

Continuity of Gödel's system T definable functionals via effectful forcing ⋮ Stream processors and comodels ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hypernormalisation in an abstract setting ⋮ Coalgebras in functional programming and type theory ⋮ Nonflatness and totality ⋮ Well-founded recursion with copatterns and sized types ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ Continuous Functions on Final Coalgebras ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ Unnamed Item

This page was built for publication: Representations of Stream Processors Using Nested Fixed Points