Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. A. G. Seely
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
Journal of Symbolic Logic
Philosophy
Logic
Locally Cartesian Closed Categories and Type Theory
Mathematical Proceedings of the Cambridge Philosophical Society
Mathematics