Equational theories for inductive types
type: Item
instance of: scholarly article
title: Equational theories for inductive types
zbMATH Open document ID: 0873.03019
DOI: 10.1016/S0168-0072(96)00021-8
author: Ralph Loader
published in: Annals of Pure and Applied Logic
publication date: 1997-10-26T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 1004149
zbMATH Keywords: equational theory
zbMATH Keywords: PER model
zbMATH Keywords: typed lambda calculus
zbMATH Keywords: inductive types
zbMATH Keywords: full abstraction
zbMATH Keywords: domain model
MaRDI profile type: Publication
cites work: The lambda calculus, its syntax and semantics
cites work: Total sets and objects in domain theory
cites work: Q3024825
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q5567860
cites work: Interpreting higher computations as types with totality
cites work: Q4883281
cites work: Total objects in inductively defined types
cites work: Q3727946
cites work: Q4215784
cites work: Q5638283
cites work: Q4694213
cites work: Classical recursion theory. Vol. II
cites work: Q3786612
cites work: Q3216629
cites work: Q3959414
cites work: Q3827993
full work available at URL: s0168-0072(96)00021-8
OpenAlex ID: W2097508095
description: scientific article; zbMATH DE number 1004149