Recursion on Nested Datatypes in Dependent Type Theory

DOI10.1007/978-3-540-69407-6_47zbMath1142.68441OpenAlexW1876613152MaRDI QIDQ3507459

Ralph Matthes

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_47

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Map fusion for nested datatypes in intensional type theory ⋮ Nested abstract syntax in Coq

Uses Software

• Coq

This page was built for publication: Recursion on Nested Datatypes in Dependent Type Theory