Inductive types and type constraints in the second-order lambda calculus

Mendler, Nax Paul

doi:10.1016/0168-0072(91)90069-X

Record: found
Abstract: not found
Article: not found

Inductive types and type constraints in the second-order lambda calculus

Author(s): Nax Paul Mendler

Publication date Created: March 1991

Publication date (Print): March 1991

Journal: Annals of Pure and Applied Logic

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Annals of Pure and Applied Logic

Abbreviated Title: Annals of Pure and Applied Logic

Publisher: Elsevier BV

ISSN (Print): 01680072

Publication date Created: March 1991

Publication date (Print): March 1991

Volume: 51

Issue: 1-2

Pages: 159-172

Article

DOI: 10.1016/0168-0072(91)90069-X

SO-VID: 75db810e-a536-4762-b7be-4358d7e3311f

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Inductive types and type constraints in the second-order lambda calculus

Read this article at

Related collections

Genome Engineering using CRISPR

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,727

Cited by 14