research
∙
04/11/2023
Canonicity in Modal Lambda Calculus
In this paper we investigate the Curry-Howard-Lambek correspondence for ...
research
∙
08/17/2020
Use your Google Account to sign in to DeepAI