Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
type: Item
instance of: scholarly article
title: Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
zbMATH Open document ID: 0592.03010
DOI: 10.1016/0304-3975(85)90062-3
author: Susumu Hayashi
published in: Theoretical Computer Science
publication date: 1985-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 3950487
zbMATH Keywords: cartesian closed categories
zbMATH Keywords: Scott embedding
Wikidata QID: Q56445468
MaRDI profile type: Publication
full work available at URL: 0304-3975(85)90062-3
OpenAlex ID: W2092954762
cites work: The lambda calculus, its syntax and semantics
cites work: Models of the lambda calculus
cites work: Q4160083
cites work: Q3727946
cites work: Q5639839
cites work: Q3659756
cites work: Pre-adjunctions and lambda-algebraic theories
description: scientific article; zbMATH DE number 3950487