scientific article
From MaRDI portal
Publication:2863898
zbMath1276.03014MaRDI QIDQ2863898
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004737?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Computation over the reals, computable analysis (03D78)
Related Items
Using Structural Recursion for Corecursion ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software
This page was built for publication: