scientific article; zbMATH DE number 1342222
From MaRDI portal
Publication:4263807
zbMath0934.03019MaRDI QIDQ4263807
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural transformationsrepresentable functorsmonotone inductive definitionslambda-calculus with positive inductive and coinductive typesterms of functorial type
Related Items (2)
Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Monotone (co)inductive types and positive fixed-point types
This page was built for publication:
