scientific article
From MaRDI portal
Publication:2863899
zbMath1276.68110MaRDI QIDQ2863899
Neil Ghani, Peter G. Hancock, Dirk Pattinson
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004749?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Abstract data types; algebraic specification (68Q65) Special categories (18B99)
Related Items (5)
Mixed Inductive/Coinductive Types and Strong Normalization ⋮ Coalgebras in functional programming and type theory ⋮ Proofs, programs, processes ⋮ A Coalgebraic View of Bar Recursion and Bar Induction ⋮ From Coinductive Proofs to Exact Real Arithmetic
This page was built for publication:
