Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
LIACC & Faculdade de Ciências da Universidade do Porto
1
0
1
0
A new term expansion reveals deep connections between explicit substitutions and resource-aware lambda calculus, transforming our understanding of function argument availability.