Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of Southern Denmark
1
0
1
A modular proof of the Endpoint Projection theorem reveals deeper insights into choreographic programming by bridging the gap between global and local perspectives.