Encoding Product Types
Published • Sep 13, 2025
NobleIDNI2P38W67R12S98
Authors:
Sam Lindley
Abstract
Can product types be encoded in simply-typed lambda calculus with base types and function types? It depends.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!