research
∙
04/24/2023
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version)
This paper defines two decreasing measures for terms of the simply typed...
share
research
∙
10/27/2022
Reductions in Higher-Order Rewriting and Their Equivalence
Proof terms are syntactic expressions that represent computations in ter...
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...
research
∙
04/09/2021
A Constructive Logic with Classical Proofs and Refutations (Extended Version)
We study a conservative extension of classical propositional logic disti...
research
∙
09/23/2020
Semantics of a Relational λ-Calculus (Extended Version)
We extend the λ-calculus with constructs suitable for relational and fun...
research
∙
07/20/2019