research
∙
10/13/2022
Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version)
The lambda-PRK-calculus is a typed lambda-calculus that exploits the dua...
share
research
∙
06/11/2021
Union and intersection contracts are hard, actually
Union and intersection types are a staple of gradually typed language su...
research
∙
04/09/2021
