scientific article; zbMATH DE number 1400097

zbMath0937.68029MaRDI QIDQ4939621

Tarmo Uustalu, Varmo Vene

Publication date: 28 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Mendler-style inductive types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (8)

Classical Logic with Mendler Induction ⋮ A principled approach to programming with nested types in Haskell ⋮ Unifying structured recursion schemes ⋮ Coalgebras in functional programming and type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Least and greatest fixed points in intuitionistic natural deduction ⋮ Modular Dependent Induction in Coq, Mendler-Style

This page was built for publication: