Relational limits in general polymorphism

zbMath0854.03013MaRDI QIDQ1346668

Ryu Hasegawa

Publication date: 10 April 1995

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

zbMATH Keywords

parametric modelslambda-calculusendcategorical semanticsenriched categoriesparametric polymorphismindexed categoriescotensor\(r\)-framesKan theorem

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Internal enriched categories

This page was built for publication: Relational limits in general polymorphism