Structures definable in polymorphism
type: Item
instance of: scholarly article
title: Structures definable in polymorphism
zbMATH Open document ID: 0910.68147
DOI: 10.1007/BF02946501
author: Yuxi Fu
published in: Journal of Computer Science and Technology
publication date: 1998-12-02T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1228841
zbMATH Keywords: polymorphic types
zbMATH Keywords: type theory
zbMATH Keywords: encodings
MaRDI profile type: Publication
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Automatic synthesis of typed \(\Lambda\)-programs on term algebras
cites work: Generalized algebraic theories and contextual categories
cites work: Q3703866
cites work: A short survey of isomorphisms of types
cites work: Q4036571
cites work: Q4880141
cites work: Categorical properties of logical frameworks
cites work: Constructive sets in computable sets
cites work: Q3994895
cites work: Q3784044
cites work: Inductive types and type constraints in the second-order lambda calculus
cites work: The extended calculus of constructions (ECC) with inductive types
cites work: Q4282580
description: scientific article; zbMATH DE number 1228841