HackerPapers

arXiv:1211.5762math.CT

Classical lambda calculus in modern dress

Martin Hyland

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of fundamental results in the semantics of the lambda calculus are given.

arXiv comments
21 pages, submitted for 90th Birthday of Corrado Bohm Second version accepted by MSCS. Material filled out at the request of referees. Now 28 pages but nothing essentially new
Journal reference
DOI
doi:10.1017/S0960129515000377
Subjects
math.CTCategory Theory math.LOLogic

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Oct 2017 to Oct 2017.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Theoretical Computer Science for the Working Category Theorist [pdf] 1 comment

    • For a professional category theorist interested in theoretical computer science? The thing is, they could easily just dive into reading some papers on the subject. The intuition and mechanical skill of category theory is easily adapted to thinking about computation. Here are…

      danharajView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.