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