Abstract A categorical structure suitable for interpreting polymorphic lambda calculus (PLC) is defined, providing an algebraic semantics for PLC which is sound and complete. In fact, there is an equivalence between the theories and the categories. Also presented is a definitional extension of PLC i...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!