scientific article; zbMATH DE number 1863381
From MaRDI portal
Publication:4790656
zbMath1005.68512MaRDI QIDQ4790656
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520121
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Representations and the foundations of mathematics, Turing-Completeness Totally Free, Coalgebras in functional programming and type theory, A Type of Partial Recursive Functions, A simple canonical representation of rational numbers, Partial and nested recursive function definitions in higher-order logic, Recursive coalgebras from comonads, Type Theory Should Eat Itself, Another Look at Function Domains, Indexed induction-recursion, Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software
