Retraction map categories and their applications to the construction of lambda calculus models

DOI10.1016/S0019-9958(86)80017-1zbMath0623.03016MaRDI QIDQ3760510

Hirofumi Yokouchi

Publication date: 1986

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

lambda calculusreflexive objectscategorical modelepsilon categoryorder enriched cartesian closed categoryretraction map category

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type

This page was built for publication: Retraction map categories and their applications to the construction of lambda calculus models