Map fusion for nested datatypes in intensional type theory期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Map fusion for nested datatypes in intensional type theory

Authors:	Ralph Matthes

Affiliation:	Institut de Recherche en Informatique de Toulouse (IRIT), C. N. R. S. et Université Paul Sabatier (Toulouse III), 118 route de Narbonne, F-31062 Toulouse Cedex 9, France

Abstract:

Keywords:	Coq Type theory Datatypes with true nesting Naturality for generalized maps Explicit flattening Monad laws for substitution Terminating recursion schemes
本文献已被 ScienceDirect 等数据库收录！