The theory of semi-functors

DOI10.1017/S096012950000013XzbMath0791.18001MaRDI QIDQ4279250

R. Hoofman

Publication date: 7 July 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

weak categoriessemi-functorssemi-adjoints

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05)

Related Items (4)

Logic of refinement types ⋮ Comparing models of the intensional typed \(\lambda\)-calculus ⋮ Predicate transformers and higher-order programs ⋮ Fusion of recursive programs with computational effects

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• The system \({\mathcal F}\) of variable types, fifteen years later
• Models of the lambda calculus

This page was built for publication: The theory of semi-functors