On functors expressible in the polymorphic typed lambda calculus
type: Item
instance of: scholarly article
title: On functors expressible in the polymorphic typed lambda calculus
zbMATH Open document ID: 0785.03004
author: John C. Reynolds
author: Gordon D. Plotkin
published in: Information and Computation
publication date: 1993-08-30T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 370443
zbMATH Keywords: polymorphic typed lambda calculus
zbMATH Keywords: Cartesian closed category
zbMATH Keywords: weak initial \(T\)-algebra
MaRDI profile type: Publication
OpenAlex ID: W1998095216
DOI: 10.1006/INCO.1993.1037
description: scientific article; zbMATH DE number 370443