On categorical semantics of lambda calculus and type theories:
Roy L. Crole, Categories for types, Cambridge University Press (1994) [doi:10.1017/CBO9781139172707]
Roy L. Crole, Alpha equivalence equalities, Theoretical Computer Science, Volume 433, 18 May 2012, Pages 1-19, (doi:10.1016/j.tcs.2012.01.030)
Last revised on November 18, 2023 at 04:58:49. See the history of this page for a list of all contributions to it.